| error: ['a: +, A: o, B: o] |
| --> $DIR/variance-types.rs:10:1 |
| | |
| LL | struct InvariantMut<'a,A:'a,B:'a> { |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: [A: o] |
| --> $DIR/variance-types.rs:15:1 |
| | |
| LL | struct InvariantCell<A> { |
| | ^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: [A: o] |
| --> $DIR/variance-types.rs:20:1 |
| | |
| LL | struct InvariantIndirect<A> { |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: [A: +] |
| --> $DIR/variance-types.rs:25:1 |
| | |
| LL | struct Covariant<A> { |
| | ^^^^^^^^^^^^^^^^^^^ |
| |
| error: [A: -] |
| --> $DIR/variance-types.rs:30:1 |
| | |
| LL | struct Contravariant<A> { |
| | ^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: [A: +, B: -, C: o] |
| --> $DIR/variance-types.rs:35:1 |
| | |
| LL | enum Enum<A,B,C> { |
| | ^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 6 previous errors |
| |