]>
Commit | Line | Data |
---|---|---|
ee023bcb FG |
1 | #![feature(type_alias_impl_trait)] |
2 | ||
3 | type Foo = impl std::fmt::Debug; | |
4 | type Bar = impl Trait<Foo>; | |
5 | ||
6 | trait Trait<T> {} | |
7 | ||
8 | impl<T, U> Trait<T> for U {} | |
9 | ||
10 | fn bar() -> Bar { | |
11 | 42 | |
12 | } | |
13 | ||
14 | fn main() { | |
15 | println!("{:?}", bar()); | |
16 | //~^ ERROR `Bar` doesn't implement `Debug` | |
17 | } |