summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/issues/issue-86719.rs
blob: f4b0b3f33fcd3437691a9e72398f3f469e94df6d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#![feature(type_alias_impl_trait)]

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() {}