diff options
Diffstat (limited to 'src/test/ui/borrowck/async-reference-generality.rs')
-rw-r--r-- | src/test/ui/borrowck/async-reference-generality.rs | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/borrowck/async-reference-generality.rs b/src/test/ui/borrowck/async-reference-generality.rs deleted file mode 100644 index 487d1ac81..000000000 --- a/src/test/ui/borrowck/async-reference-generality.rs +++ /dev/null @@ -1,35 +0,0 @@ -// check-fail -// known-bug: #99492 -// edition: 2021 - -use std::marker::PhantomData; - -pub struct Struct<I, T>(PhantomData<fn() -> <Self as It>::Item>) -where - Self: It; - -impl<I> It for Struct<I, I::Item> -where - I: It, -{ - type Item = (); -} - -pub trait It { - type Item; -} - -fn f() -> impl Send { - async { - let _x = Struct::<Empty<&'static ()>, _>(PhantomData); - async {}.await; - } -} - -pub struct Empty<T>(PhantomData<fn() -> T>); - -impl<T> It for Empty<T> { - type Item = T; -} - -fn main() {} |