1 2 3 4 5 6 7 8 9 10 11 12 13 14
var x: Int := 5 matched: Bool := false begin case x of 1: assert(false) | 2: assert(false) | 3: assert(false) else matched := true end; assert(matched) end.