src/test/ui/auto-traits/bad-generics-on-dyn.rs


1
2
3
4
5
6
7
8
9
10
11

#![feature(auto_traits)]

auto trait Trait1<'a> {}
//~^ ERROR auto traits cannot have generic parameters

fn f<'a>(x: &dyn Trait1<'a>)
{}

fn main() {
    f(&1);
}