mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update lowering-module test case

This commit is contained in:
Alexey Shmalko 2019-04-20 20:08:00 +03:00 committed by Who? Me?!
parent 52b2f710f8
commit c12d35804d
1 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/traits/lowering-module.md
View File

@ -31,7 +31,7 @@ this writing, it looked like this:
trait Foo { } trait Foo { }
#[rustc_dump_program_clauses] //~ ERROR Implemented(T: Foo) :- #[rustc_dump_program_clauses] //~ ERROR program clause dump
impl<T: 'static> Foo for T where T: Iterator<Item = i32> { } impl<T: 'static> Foo for T where T: Iterator<Item = i32> { }
fn main() { fn main() {
@ -45,19 +45,18 @@ compiler will then invoke the `program_clauses_for` query on that
item, and emit compiler errors that dump the clauses produced. These item, and emit compiler errors that dump the clauses produced. These
errors just exist for unit-testing, as we can then leverage the errors just exist for unit-testing, as we can then leverage the
standard [ui test] mechanisms to check them. In this case, there is a standard [ui test] mechanisms to check them. In this case, there is a
`//~ ERROR Implemented` annotation which is intentionally minimal (it `//~ ERROR program clause dump` annotation which is always the same for
need only be a prefix of the error), but [the stderr file] contains `#[rustc_dump_program_clauses]`, but [the stderr file] contains
the full details: the full details:
```text ```text
error: Implemented(T: Foo) :- ProjectionEq(<T as std::iter::Iterator>::Item == i32), TypeOutlives(T \ error: program clause dump
: 'static), Implemented(T: std::iter::Iterator), Implemented(T: std::marker::Sized). --> $DIR/lower_impl.rs:5:1
--> $DIR/lower_impl.rs:15:1
| |
LL | #[rustc_dump_program_clauses] //~ ERROR Implemented(T: Foo) :- LL | #[rustc_dump_program_clauses]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
error: aborting due to previous error = note: forall<T> { Implemented(T: Foo) :- ProjectionEq(<T as std::iter::Iterator>::Item == i32), TypeOutlives(T: 'static), Implemented(T: std::iter::Iterator), Implemented(T: std::marker::Sized). }
``` ```
[chalkify]: https://github.com/rust-lang/rust/tree/master/src/test/ui/chalkify [chalkify]: https://github.com/rust-lang/rust/tree/master/src/test/ui/chalkify