diff options
Diffstat (limited to 'src/test/ui/associated-types/normalization-debruijn-3.rs')
-rw-r--r-- | src/test/ui/associated-types/normalization-debruijn-3.rs | 41 |
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; - }; -} |