summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/issue-85360-eval-obligation-ice.stderr
blob: ebf977dd6805140376614a89a62a690030e795ac (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
error: evaluate(Binder(TraitPredicate(<MaskedStorage<GenericComp<Pos>> as std::marker::Sized>, polarity:Positive), [])) = Ok(EvaluatedToOk)
  --> $DIR/issue-85360-eval-obligation-ice.rs:9:5
   |
LL |     test::<MaskedStorage<GenericComp<Pos>>>(make());
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
LL | fn test<T: Sized>(_: T) {}
   |         - predicate

error: evaluate(Binder(TraitPredicate(<MaskedStorage<GenericComp<Pos>> as std::marker::Sized>, polarity:Positive), [])) = Ok(EvaluatedToOk)
  --> $DIR/issue-85360-eval-obligation-ice.rs:9:5
   |
LL |     test::<MaskedStorage<GenericComp<Pos>>>(make());
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
LL | fn test<T: Sized>(_: T) {}
   |            ----- predicate

error: evaluate(Binder(TraitPredicate(<MaskedStorage<GenericComp2<Pos>> as std::marker::Sized>, polarity:Positive), [])) = Ok(EvaluatedToOkModuloRegions)
  --> $DIR/issue-85360-eval-obligation-ice.rs:13:5
   |
LL |     test::<MaskedStorage<GenericComp2<Pos>>>(make());
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
LL | fn test<T: Sized>(_: T) {}
   |         - predicate

error: evaluate(Binder(TraitPredicate(<MaskedStorage<GenericComp2<Pos>> as std::marker::Sized>, polarity:Positive), [])) = Ok(EvaluatedToOkModuloRegions)
  --> $DIR/issue-85360-eval-obligation-ice.rs:13:5
   |
LL |     test::<MaskedStorage<GenericComp2<Pos>>>(make());
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
LL | fn test<T: Sized>(_: T) {}
   |            ----- predicate

error: aborting due to 4 previous errors