ref: 90e26e0f687da28530b3b967df0cedf20407c071 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) }