summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/issues/issue-86719.rs
blob: 7abab5bfb75d5483a13e4f7a41e39f2cb798d928 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#![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() {}