ref: 92b12fc6772aae7ebb9b6436dcfc393e17de01b6 dir: /test/infer-named.myr/
use std type u = union `Foo `Bar int ;; const f = {v : int -> u -> `Bar v } const main = { var v v = f(99) match v | `Foo: std.exit(1) | `Bar x: std.exit(x) ;; std.exit(2) }