oden/fine/tests/expression/errors/if_requires_else.fine

4 lines
164 B
Text

if (if false { true }) { 32 } else { 23 }
// @expect-errors:
// | 1:4: the type of the 'then' branch ('bool') must match the type of the 'else' branch ('nothing')