]>
Commit | Line | Data |
---|---|---|
83c7162d XL |
1 | error: program clause dump |
2 | --> $DIR/lower_env1.rs:16:1 | |
3 | | | |
4 | LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump | |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
6 | | | |
8faf50e0 | 7 | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). |
83c7162d XL |
8 | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). |
9 | = note: Implemented(Self: Bar) :- FromEnv(Self: Bar). | |
8faf50e0 | 10 | = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo). |
83c7162d XL |
11 | |
12 | error: program clause dump | |
13 | --> $DIR/lower_env1.rs:19:1 | |
14 | | | |
15 | LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump | |
16 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
17 | | | |
8faf50e0 | 18 | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). |
83c7162d XL |
19 | = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar). |
20 | = note: Implemented(Self: Bar) :- FromEnv(Self: Bar). | |
21 | = note: Implemented(Self: Foo) :- FromEnv(Self: Foo). | |
22 | = note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized). | |
8faf50e0 XL |
23 | = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo). |
24 | = note: WellFormed(Self: Foo) :- Implemented(Self: Foo). | |
25 | = note: WellFormed(Self: std::marker::Sized) :- Implemented(Self: std::marker::Sized). | |
83c7162d XL |
26 | |
27 | error: aborting due to 2 previous errors | |
28 |