tests/ui/traits/non_lifetime_binders/on-dyn.rs


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

// Tests to make sure that we reject polymorphic dyn trait.

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

trait Test<T> {}

fn foo() -> &'static dyn for<T> Test<T> {
    //~^ ERROR late-bound type parameter not allowed on trait object types
    todo!()
}

fn main() {}