[rustc.git] / vendor / codespan-reporting / tests / snapshots / term__multifile__rich_ascii_no_color.snap

---
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`
Commit	Line	Data
49aad941 FG	1	---
	2	source: codespan-reporting/tests/term.rs
	3	expression: TEST_DATA.emit_no_color(&config)
	4	---
	5	error: unknown builtin: `NATRAL`
	6	--> Data/Nat.fun:7:13
	7	\|
	8	7 \| {-# BUILTIN NATRAL Nat #-}
	9	\| ^^^^^^ unknown builtin
	10	\|
	11	= there is a builtin with a similar name: `NATURAL`
	12
	13	warning: unused parameter pattern: `n₂`
	14	--> Data/Nat.fun:17:16
	15	\|
	16	17 \| zero - succ n₂ = zero
	17	\| ^^ unused parameter
	18	\|
	19	= consider using a wildcard pattern: `_`
	20
	21	error[E0001]: unexpected type in application of `_+_`
	22	--> Test.fun:4:11
	23	\|
	24	4 \| _ = 123 + "hello"
	25	\| ^^^^^^^ expected `Nat`, found `String`
	26	\|
	27	--> Data/Nat.fun:11:1
	28	\|
	29	11 \| _+_ : Nat → Nat → Nat
	30	\| --------------------- based on the definition of `_+_`
	31	\|
	32	= expected type `Nat`
	33	found type `String`
	34
	35