]> git.proxmox.com Git - rustc.git/blame - src/test/ui/chalkify/lower_env1.stderr
New upstream version 1.29.0+dfsg1
[rustc.git] / src / test / ui / chalkify / lower_env1.stderr
CommitLineData
83c7162d
XL
1error: program clause dump
2 --> $DIR/lower_env1.rs:16:1
3 |
4LL | #[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
12error: program clause dump
13 --> $DIR/lower_env1.rs:19:1
14 |
15LL | #[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
27error: aborting due to 2 previous errors
28