diff options
Diffstat (limited to 'third_party/rust/codespan-reporting/tests/snapshots/term__multifile__medium_no_color.snap')
| -rw-r--r-- | third_party/rust/codespan-reporting/tests/snapshots/term__multifile__medium_no_color.snap | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__medium_no_color.snap b/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__medium_no_color.snap new file mode 100644 index 0000000000..db33fc01f9 --- /dev/null +++ b/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__medium_no_color.snap @@ -0,0 +1,12 @@ +--- +source: codespan-reporting/tests/term.rs +expression: TEST_DATA.emit_no_color(&config) +--- +Data/Nat.fun:7:13: error: unknown builtin: `NATRAL` + = there is a builtin with a similar name: `NATURAL` +Data/Nat.fun:17:16: warning: unused parameter pattern: `n₂` + = consider using a wildcard pattern: `_` +Test.fun:4:11: error[E0001]: unexpected type in application of `_+_` + = expected type `Nat` + found type `String` + |