tests/ui/traits/non_lifetime_binders/method-probe.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ check-pass

#![feature(non_lifetime_binders)]
//~^ WARN the feature `non_lifetime_binders` is incomplete

trait Foo: for<T> Bar<T> {}

trait Bar<T> {
    fn method() -> T;
}

fn x<T: Foo>() {
    let _: i32 = T::method();
}

fn main() {}