blob: 8c2391113d71969a145e589fbcf992579baf18fa (
plain)
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
44
45
|
#![feature(rustc_attrs)]
// Test for a particular corner case where the evaluation
// cache can get out of date. The problem here is that
// when we cache C, we have observed that it reaches
// to depth 2 (the node for B), but we later realize
// that B itself depends on A (reached depth 0). We
// failed to update the depth for C transitively, which
// resulted in an assertion failure when it was referenced
// from D.
//
// A (reached depth 0)
// E
// B // depth 2 -- reached depth = 0
// C // depth 3 -- reached depth = 2 (should be 0)
// B
// A // depth 0
// D (depth 1)
// C (cache -- reached depth = 2)
struct A {
e: E,
d: C,
}
struct E {
b: B,
}
struct B {
a: Option<Box<A>>,
c: C,
}
struct C {
b: Option<Box<B>>,
}
#[rustc_evaluate_where_clauses]
fn test<X: ?Sized + Send>() {}
fn main() {
test::<A>();
//~^ ERROR evaluate(Binder { value: TraitPredicate(<A as std::marker::Send>, polarity:Positive), bound_vars: [] }) = Ok(EvaluatedToOk)
}
|
