tests/ui/lint/non-local-defs/ref-complex.rs


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

//@ check-pass

trait Trait<T> {}

fn main() {
    mod below {
        pub struct Type<T>(T);
    }
    struct InsideMain;
    trait HasFoo {}

    impl<T> Trait<InsideMain> for &Vec<below::Type<(InsideMain, T)>>
    where
        T: HasFoo
    {}
}