1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
// Test that we correctly infer variance for type parameters in
// various types and traits.
#![feature(rustc_attrs)]
#[rustc_variance]
struct TestImm<A, B> { //~ ERROR [+, +]
x: A,
y: B,
}
#[rustc_variance]
struct TestMut<A, B:'static> { //~ ERROR [+, o]
x: A,
y: &'static mut B,
}
#[rustc_variance]
struct TestIndirect<A:'static, B:'static> { //~ ERROR [+, o]
m: TestMut<A, B>
}
#[rustc_variance]
struct TestIndirect2<A:'static, B:'static> { //~ ERROR [o, o]
n: TestMut<A, B>,
m: TestMut<B, A>
}
trait Getter<A> {
fn get(&self) -> A;
}
trait Setter<A> {
fn set(&mut self, a: A);
}
#[rustc_variance]
struct TestObject<A, R> { //~ ERROR [o, o]
n: Box<dyn Setter<A>+Send>,
m: Box<dyn Getter<R>+Send>,
}
fn main() {}
|