tests/ui/typeck/issue-90319.rs

struct Wrapper<T>(T);

trait Trait {
    fn method(&self) {}
}

impl<'a, T> Trait for Wrapper<&'a T> where Wrapper<T>: Trait {}

fn get<T>() -> T {
    unimplemented!()
}

fn main() {
    let thing = get::<Thing>();//~ERROR cannot find type `Thing` in this scope [E0425]
    let wrapper = Wrapper(thing);
    Trait::method(&wrapper);
}