diff options
Diffstat (limited to 'src/test/ui/impl-trait/issues/issue-65581.rs')
-rw-r--r-- | src/test/ui/impl-trait/issues/issue-65581.rs | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/impl-trait/issues/issue-65581.rs b/src/test/ui/impl-trait/issues/issue-65581.rs deleted file mode 100644 index b947fc1d2..000000000 --- a/src/test/ui/impl-trait/issues/issue-65581.rs +++ /dev/null @@ -1,34 +0,0 @@ -// check-pass -// ignore-compare-mode-chalk - -#![allow(dead_code)] - -trait Trait1<T, U> { - fn f1(self) -> U; -} - -trait Trait2 { - type T; - type U: Trait2<T = Self::T>; - fn f2(f: impl FnOnce(&Self::U)); -} - -fn f3<T: Trait2>() -> impl Trait1<T, T::T> { - Struct1 -} - -struct Struct1; - -impl<T: Trait2> Trait1<T, T::T> for Struct1 { - fn f1(self) -> T::T { - unimplemented!() - } -} - -fn f4<T: Trait2>() { - T::f2(|_| { - f3::<T::U>().f1(); - }); -} - -fn main() {} |