blob: 112006484591e0ab3a777b73502c0f694aff441c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
---
source: codespan-reporting/tests/term.rs
expression: TEST_DATA.emit_no_color(&config)
---
FizzBuzz.fun:8:12: error[E0308]: `case` clauses have incompatible types
= expected type `String`
found type `Nat`
FizzBuzz.fun:16:16: error[E0308]: `case` clauses have incompatible types
= expected type `String`
found type `Nat`
|