Skip to content

Commit d947bb8

Browse files
nikomatsakisnikomatsakis
committed
bless some more tests
1 parent f374015 commit d947bb8

File tree

1 file changed

+40
-48
lines changed

1 file changed

+40
-48
lines changed

‎src/test/coherence_orphan.rs

Lines changed: 40 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -24,18 +24,16 @@ fn neg_CoreTrait_for_CoreStruct_in_Foo() {
2424
judgment `prove_wc { goal: @ IsLocal(CoreTrait(CoreStruct)), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
2525
the rule "trait ref is local" failed at step #0 (src/file.rs:LL:CC) because
2626
judgment `is_local_trait_ref { goal: CoreTrait(CoreStruct), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
27-
the rule "local parameter" failed at step #0 (src/file.rs:LL:CC) because
28-
judgment `trait_ref_has_local_parameters { goal: CoreTrait(CoreStruct), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
29-
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
30-
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
31-
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
32-
condition evaluted to false: `is_fundamental(&decls, &name)`
33-
&decls = decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {})
34-
&name = (adt CoreStruct)
35-
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
36-
condition evaluted to false: `decls.is_local_adt_id(&a)`
37-
decls = decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {})
38-
&a = CoreStruct
27+
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
28+
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
29+
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
30+
condition evaluted to false: `is_fundamental(&decls, &name)`
31+
&decls = decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {})
32+
&name = (adt CoreStruct)
33+
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
34+
condition evaluted to false: `decls.is_local_adt_id(&a)`
35+
decls = decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {})
36+
&a = CoreStruct
3937
the rule "local trait" failed at step #0 (src/file.rs:LL:CC) because
4038
condition evaluted to false: `decls.is_local_trait_id(&goal.trait_id)`
4139
decls = decls(222, [trait CoreTrait <ty> ], [], [impl ! CoreTrait(CoreStruct)], [], [], [adt CoreStruct ], {}, {})
@@ -75,20 +73,18 @@ fn mirror_CoreStruct() {
7573
judgment `prove_wc { goal: @ IsLocal(CoreTrait(<CoreStruct as Mirror>::Assoc)), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
7674
the rule "trait ref is local" failed at step #0 (src/file.rs:LL:CC) because
7775
judgment `is_local_trait_ref { goal: CoreTrait(<CoreStruct as Mirror>::Assoc), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
78-
the rule "local parameter" failed at step #0 (src/file.rs:LL:CC) because
79-
judgment `trait_ref_has_local_parameters { goal: CoreTrait(<CoreStruct as Mirror>::Assoc), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
80-
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
81-
judgment `is_local_parameter { goal: <CoreStruct as Mirror>::Assoc, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
82-
the rule "local parameter" failed at step #3 (src/file.rs:LL:CC) because
83-
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
84-
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
85-
condition evaluted to false: `is_fundamental(&decls, &name)`
86-
&decls = decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {})
87-
&name = (adt CoreStruct)
88-
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
89-
condition evaluted to false: `decls.is_local_adt_id(&a)`
90-
decls = decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {})
91-
&a = CoreStruct
76+
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
77+
judgment `is_local_parameter { goal: <CoreStruct as Mirror>::Assoc, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
78+
the rule "local parameter" failed at step #3 (src/file.rs:LL:CC) because
79+
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
80+
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
81+
condition evaluted to false: `is_fundamental(&decls, &name)`
82+
&decls = decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {})
83+
&name = (adt CoreStruct)
84+
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
85+
condition evaluted to false: `decls.is_local_adt_id(&a)`
86+
decls = decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {})
87+
&a = CoreStruct
9288
the rule "local trait" failed at step #0 (src/file.rs:LL:CC) because
9389
condition evaluted to false: `decls.is_local_trait_id(&goal.trait_id)`
9490
decls = decls(222, [trait CoreTrait <ty> , trait Mirror <ty> ], [impl <ty> Mirror(^ty0_0), impl CoreTrait(<CoreStruct as Mirror>::Assoc)], [], [alias <ty> <^ty0_0 as Mirror>::Assoc = ^ty0_0], [], [adt CoreStruct ], {}, {})
@@ -204,16 +200,14 @@ fn alias_to_unit() {
204200
judgment `prove_wc { goal: @ IsLocal(CoreTrait(<FooStruct as Unit>::Assoc)), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
205201
the rule "trait ref is local" failed at step #0 (src/file.rs:LL:CC) because
206202
judgment `is_local_trait_ref { goal: CoreTrait(<FooStruct as Unit>::Assoc), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
207-
the rule "local parameter" failed at step #0 (src/file.rs:LL:CC) because
208-
judgment `trait_ref_has_local_parameters { goal: CoreTrait(<FooStruct as Unit>::Assoc), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
209-
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
210-
judgment `is_local_parameter { goal: <FooStruct as Unit>::Assoc, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
211-
the rule "local parameter" failed at step #3 (src/file.rs:LL:CC) because
212-
judgment `is_local_parameter { goal: (), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
213-
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
214-
condition evaluted to false: `is_fundamental(&decls, &name)`
215-
&decls = decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct})
216-
&name = tuple(0)
203+
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
204+
judgment `is_local_parameter { goal: <FooStruct as Unit>::Assoc, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
205+
the rule "local parameter" failed at step #3 (src/file.rs:LL:CC) because
206+
judgment `is_local_parameter { goal: (), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct}) }` failed at the following rule(s):
207+
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
208+
condition evaluted to false: `is_fundamental(&decls, &name)`
209+
&decls = decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct})
210+
&name = tuple(0)
217211
the rule "local trait" failed at step #0 (src/file.rs:LL:CC) because
218212
condition evaluted to false: `decls.is_local_trait_id(&goal.trait_id)`
219213
decls = decls(222, [trait CoreTrait <ty> , trait Unit <ty> ], [impl <ty> Unit(^ty0_0), impl CoreTrait(<FooStruct as Unit>::Assoc)], [], [alias <ty> <^ty0_0 as Unit>::Assoc = ()], [], [adt FooStruct ], {}, {FooStruct})
@@ -245,18 +239,16 @@ fn CoreTrait_for_CoreStruct_in_Foo() {
245239
judgment `prove_wc { goal: @ IsLocal(CoreTrait(CoreStruct)), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
246240
the rule "trait ref is local" failed at step #0 (src/file.rs:LL:CC) because
247241
judgment `is_local_trait_ref { goal: CoreTrait(CoreStruct), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
248-
the rule "local parameter" failed at step #0 (src/file.rs:LL:CC) because
249-
judgment `trait_ref_has_local_parameters { goal: CoreTrait(CoreStruct), assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
250-
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
251-
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
252-
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
253-
condition evaluted to false: `is_fundamental(&decls, &name)`
254-
&decls = decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {})
255-
&name = (adt CoreStruct)
256-
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
257-
condition evaluted to false: `decls.is_local_adt_id(&a)`
258-
decls = decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {})
259-
&a = CoreStruct
242+
the rule "local parameter" failed at step #1 (src/file.rs:LL:CC) because
243+
judgment `is_local_parameter { goal: CoreStruct, assumptions: {}, env: Env { variables: [], coherence_mode: true }, decls: decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {}) }` failed at the following rule(s):
244+
the rule "fundamental rigid type" failed at step #0 (src/file.rs:LL:CC) because
245+
condition evaluted to false: `is_fundamental(&decls, &name)`
246+
&decls = decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {})
247+
&name = (adt CoreStruct)
248+
the rule "local rigid type" failed at step #0 (src/file.rs:LL:CC) because
249+
condition evaluted to false: `decls.is_local_adt_id(&a)`
250+
decls = decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {})
251+
&a = CoreStruct
260252
the rule "local trait" failed at step #0 (src/file.rs:LL:CC) because
261253
condition evaluted to false: `decls.is_local_trait_id(&goal.trait_id)`
262254
decls = decls(222, [trait CoreTrait <ty> ], [impl CoreTrait(CoreStruct)], [], [], [], [adt CoreStruct ], {}, {})

0 commit comments

Comments
 (0)