src/test/ui/underscore-lifetime/where-clause-inherent-impl-underscore.rs


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

// revisions: rust2015 rust2018
//[rust2018] edition:2018

trait WithType<T> {}
trait WithRegion<'a> { }

struct Foo<T> {
    t: T
}

impl<T> Foo<T>
where
    T: WithRegion<'_>
//[rust2015,rust2018]~^ ERROR `'_` cannot be used here
{ }

fn main() {}