--- source: codespan-reporting/tests/term.rs expression: TEST_DATA.emit_color(&config) --- FizzBuzz.fun:8:12: {fg:Red bold bright}error[E0308]{bold bright}: `case` clauses have incompatible types{/} {fg:Blue}={/} expected type `String` found type `Nat` FizzBuzz.fun:16:16: {fg:Red bold bright}error[E0308]{bold bright}: `case` clauses have incompatible types{/} {fg:Blue}={/} expected type `String` found type `Nat`