diff options
Diffstat (limited to 'src/test/ui/issues/issue-20763-2.rs')
-rw-r--r-- | src/test/ui/issues/issue-20763-2.rs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/issues/issue-20763-2.rs b/src/test/ui/issues/issue-20763-2.rs deleted file mode 100644 index aa5bed209..000000000 --- a/src/test/ui/issues/issue-20763-2.rs +++ /dev/null @@ -1,24 +0,0 @@ -// check-pass -#![allow(dead_code)] -// pretty-expanded FIXME #23616 - -trait T0 { - type O; - fn dummy(&self) { } -} - -struct S<A>(A); -impl<A> T0 for S<A> { type O = A; } - -trait T1: T0 { - // this looks okay but as we see below, `f` is unusable - fn m0<F: Fn(<Self as T0>::O) -> bool>(self, f: F) -> bool; -} - -// complains about mismatched types: <S<A> as T0>::O vs. A -impl<A> T1 for S<A> -{ - fn m0<F: Fn(<Self as T0>::O) -> bool>(self, f: F) -> bool { f(self.0) } -} - -fn main() { } |