1 files changed, 35 insertions, 0 deletions
diff --git a/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__rich_no_color.snap b/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__rich_no_color.snap
new file mode 100644
index 0000000000..a626b54b1e
--- /dev/null
+++ b/third_party/rust/codespan-reporting/tests/snapshots/term__multifile__rich_no_color.snap
@@ -0,0 +1,35 @@
+---
+source: codespan-reporting/tests/term.rs
+expression: TEST_DATA.emit_no_color(&config)
+---
+error: unknown builtin: `NATRAL`
+  ┌─ Data/Nat.fun:7:13
+  │
+7 │ {-# BUILTIN NATRAL Nat #-}
+  │             ^^^^^^ unknown builtin
+  │
+  = there is a builtin with a similar name: `NATURAL`
+
+warning: unused parameter pattern: `n₂`
+   ┌─ Data/Nat.fun:17:16
+   │
+17 │ zero    - succ n₂ = zero
+   │                ^^ unused parameter
+   │
+   = consider using a wildcard pattern: `_`
+
+error[E0001]: unexpected type in application of `_+_`
+   ┌─ Test.fun:4:11
+   │
+ 4 │ _ = 123 + "hello"
+   │           ^^^^^^^ expected `Nat`, found `String`
+   │
+   ┌─ Data/Nat.fun:11:1
+   │
+11 │ _+_ : Nat → Nat → Nat
+   │ --------------------- based on the definition of `_+_`
+   │
+   = expected type `Nat`
+        found type `String`
+
+