]>
Commit | Line | Data |
---|---|---|
dfeec247 XL |
1 | // Regression test for issue #57611 |
2 | // Ensures that we don't ICE | |
3 | // FIXME: This should compile, but it currently doesn't | |
4 | ||
5 | #![feature(trait_alias)] | |
6 | #![feature(type_alias_impl_trait)] | |
7 | ||
8 | trait Foo { | |
9 | type Bar: Baz<Self, Self>; | |
10 | ||
11 | fn bar(&self) -> Self::Bar; | |
12 | } | |
13 | ||
14 | struct X; | |
15 | ||
16 | impl Foo for X { | |
17 | type Bar = impl Baz<Self, Self>; //~ ERROR type mismatch in closure arguments | |
18 | //~^ ERROR type mismatch resolving | |
19 | ||
20 | fn bar(&self) -> Self::Bar { | |
21 | |x| x | |
22 | } | |
23 | } | |
24 | ||
25 | trait Baz<A, B> = Fn(&A) -> &B; | |
26 | ||
27 | fn main() {} |