]>
Commit | Line | Data |
---|---|---|
487cf647 | 1 | // check-pass |
dfeec247 XL |
2 | // Regression test for issue #57611 |
3 | // Ensures that we don't ICE | |
04454e1e | 4 | |
dfeec247 | 5 | #![feature(trait_alias)] |
94222f64 | 6 | #![feature(type_alias_impl_trait)] |
dfeec247 XL |
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 { | |
f035d41b | 17 | type Bar = impl Baz<Self, Self>; |
dfeec247 XL |
18 | |
19 | fn bar(&self) -> Self::Bar { | |
20 | |x| x | |
21 | } | |
22 | } | |
23 | ||
1b1a35ee | 24 | trait Baz<A: ?Sized, B: ?Sized> = Fn(&A) -> &B; |
dfeec247 XL |
25 | |
26 | fn main() {} |