Add #[rustc_dump_{predicates,item_bounds}] · rust-lang/rust@38bd7a0 (original) (raw)
``
1
`+
error: rustc_dump_predicates
`
``
2
`+
--> $DIR/dump-preds.rs:6:1
`
``
3
`+
|
`
``
4
`+
LL | trait Trait: Iterator<Item: Copy>
`
``
5
`+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
`
``
6
`+
|
`
``
7
`+
= note: Binder { value: TraitPredicate(, polarity:Positive), bound_vars: [] }
`
``
8
`+
= note: Binder { value: TraitPredicate(<::Item as std:📑:Copy>, polarity:Positive), bound_vars: [] }
`
``
9
`+
= note: Binder { value: TraitPredicate(<T as std:📑:Sized>, polarity:Positive), bound_vars: [] }
`
``
10
`+
= note: Binder { value: TraitPredicate(<std:🧵:String as std::convert::From>, polarity:Positive), bound_vars: [] }
`
``
11
`+
= note: Binder { value: TraitPredicate(<Self as Trait>, polarity:Positive), bound_vars: [] }
`
``
12
+
``
13
`+
error: rustc_dump_predicates
`
``
14
`+
--> $DIR/dump-preds.rs:13:5
`
``
15
`+
|
`
``
16
`+
LL | type Assoc<P: Eq>: std::ops::Deref<Target = ()>
`
``
17
`+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
`
``
18
`+
|
`
``
19
`+
= note: Binder { value: TraitPredicate(, polarity:Positive), bound_vars: [] }
`
``
20
`+
= note: Binder { value: TraitPredicate(<::Item as std:📑:Copy>, polarity:Positive), bound_vars: [] }
`
``
21
`+
= note: Binder { value: TraitPredicate(<T as std:📑:Sized>, polarity:Positive), bound_vars: [] }
`
``
22
`+
= note: Binder { value: TraitPredicate(<std:🧵:String as std::convert::From>, polarity:Positive), bound_vars: [] }
`
``
23
`+
= note: Binder { value: TraitPredicate(<Self as Trait>, polarity:Positive), bound_vars: [] }
`
``
24
`+
= note: Binder { value: TraitPredicate(<P as std:📑:Sized>, polarity:Positive), bound_vars: [] }
`
``
25
`+
= note: Binder { value: TraitPredicate(
, polarity:Positive), bound_vars: [] }
`
``
26
`+
= note: Binder { value: TraitPredicate(<<Self as Trait>::Assoc<()> as std:📑:Copy>, polarity:Positive), bound_vars: [] }
`
``
27
+
``
28
`+
error: rustc_dump_item_bounds
`
``
29
`+
--> $DIR/dump-preds.rs:13:5
`
``
30
`+
|
`
``
31
`+
LL | type Assoc<P: Eq>: std::ops::Deref<Target = ()>
`
``
32
`+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
`
``
33
`+
|
`
``
34
`+
= note: Binder { value: ProjectionPredicate(AliasTerm { args: [Alias(Projection, AliasTy { args: [Self/#0, T/#1, P/#2], def_id: DefId(..) })], def_id: DefId(..) }, Term::Ty(())), bound_vars: [] }
`
``
35
`+
= note: Binder { value: TraitPredicate(<<Self as Trait>::Assoc
as std::ops::Deref>, polarity:Positive), bound_vars: [] }
`
``
36
`+
= note: Binder { value: TraitPredicate(<<Self as Trait>::Assoc
as std:📑:Sized>, polarity:Positive), bound_vars: [] }
`
``
37
+
``
38
`+
error: aborting due to 3 previous errors
`
``
39
+