| #![feature(impl_trait_in_assoc_type)] | |
| trait Bar { | |
| type E; | |
| } | |
| impl<S> Bar for S { | |
| type E = impl ; //~ ERROR at least one trait must be specified | |
| fn foo() -> Self::E { | |
| //~^ ERROR `foo` is not a member | |
| |_| true //~ ERROR type annotations needed | |
| } | |
| } | |
| fn main() {} |