summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/issues/issue-65581.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/issues/issue-65581.rs')
-rw-r--r--src/test/ui/impl-trait/issues/issue-65581.rs34
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() {}