error[E0208]: [-, +] | |
--> $DIR/variance-associated-types.rs:13:1 | |
| | |
LL | / struct Foo<'a, T : Trait<'a>> { | |
LL | | field: (T, &'a ()) | |
LL | | } | |
| |_^ | |
error[E0208]: [o, o] | |
--> $DIR/variance-associated-types.rs:18:1 | |
| | |
LL | / struct Bar<'a, T : Trait<'a>> { | |
LL | | field: <T as Trait<'a>>::Type | |
LL | | } | |
| |_^ | |
error: aborting due to 2 previous errors | |