blob: 05bd4747cf1681c2b9732f0767f060e2fb0dc703 [file] [log] [blame]
error[E0208]: [-, o, o]
--> $DIR/variance-types.rs:10:1
|
LL | / struct InvariantMut<'a,A:'a,B:'a> {
LL | | t: &'a mut (A,B)
LL | | }
| |_^
error[E0208]: [o]
--> $DIR/variance-types.rs:15:1
|
LL | / struct InvariantCell<A> {
LL | | t: Cell<A>
LL | | }
| |_^
error[E0208]: [o]
--> $DIR/variance-types.rs:20:1
|
LL | / struct InvariantIndirect<A> {
LL | | t: InvariantCell<A>
LL | | }
| |_^
error[E0208]: [+]
--> $DIR/variance-types.rs:25:1
|
LL | / struct Covariant<A> {
LL | | t: A, u: fn() -> A
LL | | }
| |_^
error[E0208]: [-]
--> $DIR/variance-types.rs:30:1
|
LL | / struct Contravariant<A> {
LL | | t: fn(A)
LL | | }
| |_^
error[E0208]: [+, -, o]
--> $DIR/variance-types.rs:35:1
|
LL | / enum Enum<A,B,C> {
LL | | Foo(Covariant<A>),
LL | | Bar(Contravariant<B>),
LL | | Zed(Covariant<C>,Contravariant<C>)
LL | | }
| |_^
error: aborting due to 6 previous errors