tests/ui/underscore-lifetime/where-clause-trait-impl-region-2018.fixed


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

//@ run-rustfix
//@ edition:2018

#![allow(dead_code)]

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

trait Foo { }

impl<T> Foo for Vec<T>
where
    T: for<'a> WithType<&'a u32>
//~^ ERROR `&` without an explicit lifetime name cannot be used here
{ }

fn main() {}