summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/normalization-debruijn-3.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/normalization-debruijn-3.rs')
-rw-r--r--src/test/ui/associated-types/normalization-debruijn-3.rs41
1 files changed, 0 insertions, 41 deletions
diff --git a/src/test/ui/associated-types/normalization-debruijn-3.rs b/src/test/ui/associated-types/normalization-debruijn-3.rs
deleted file mode 100644
index 2bea78cf7..000000000
--- a/src/test/ui/associated-types/normalization-debruijn-3.rs
+++ /dev/null
@@ -1,41 +0,0 @@
-// build-pass
-// edition:2018
-
-// Regression test to ensure we handle debruijn indices correctly in projection
-// normalization under binders. Found in crater run for #85499
-
-use std::future::{Future, Ready};
-async fn read() {
- let _ = connect(&()).await;
-}
-async fn connect<A: ToSocketAddr>(addr: A) {
- let _ = addr.to_socket_addr().await;
-}
-pub trait ToSocketAddr {
- type Future: Future<Output = ()>;
- fn to_socket_addr(&self) -> Self::Future;
-}
-impl ToSocketAddr for &() {
- type Future = Ready<()>;
- fn to_socket_addr(&self) -> Self::Future {
- unimplemented!()
- }
-}
-struct Server;
-impl Server {
- fn and_then<F>(self, _fun: F) -> AndThen<F> {
- unimplemented!()
- }
-}
-struct AndThen<F> {
- _marker: std::marker::PhantomData<F>,
-}
-pub async fn run<F>(_: F) {
-}
-fn main() {
- let _ = async {
- let server = Server;
- let verification_route = server.and_then(read);
- run(verification_route).await;
- };
-}