commit
634c6e9b90
|
|
@ -1 +1 @@
|
|||
0c33fe2c3d3eecadd17a84b110bb067288a64f1c
|
||||
7e552b46af72df390ed233b58a7f51650515b2a8
|
||||
|
|
|
|||
|
|
@ -148,8 +148,7 @@ whereas this code uses [`ResultsCursor`]:
|
|||
|
||||
```rust,ignore
|
||||
let mut results = MyAnalysis::new()
|
||||
.into_engine(tcx, body, def_id)
|
||||
.iterate_to_fixpoint()
|
||||
.iterate_to_fixpoint(tcx, body, None);
|
||||
.into_results_cursor(body);
|
||||
|
||||
// Inspect the fixpoint state immediately before each `Drop` terminator.
|
||||
|
|
|
|||
|
|
@ -344,8 +344,7 @@ For checking runtime output, `//@ check-run-results` may be preferable.
|
|||
|
||||
Only use `error-pattern` if none of the above works.
|
||||
|
||||
Line annotations `//~` are still checked in tests using `error-pattern`.
|
||||
In exceptional cases, use `//@ compile-flags: --error-format=human` to opt out of these checks.
|
||||
Line annotations `//~` and `error-pattern` are compatible and can be used in the same test.
|
||||
|
||||
### Diagnostic kinds (error levels)
|
||||
|
||||
|
|
@ -356,9 +355,12 @@ The diagnostic kinds that you can have are:
|
|||
- `NOTE`
|
||||
- `HELP`
|
||||
- `SUGGESTION`
|
||||
- `RAW`
|
||||
|
||||
The `SUGGESTION` kind is used for specifying what the expected replacement text
|
||||
should be for a diagnostic suggestion.
|
||||
The `RAW` kind can be used for matching on lines from non-structured output sometimes emitted
|
||||
by the compiler instead of or in addition to structured json.
|
||||
|
||||
`ERROR` and `WARN` kinds are required to be exhaustively covered by line annotations
|
||||
`//~` by default.
|
||||
|
|
|
|||
Loading…
Reference in New Issue