ref: 5b2417b3ca17e3d3b5256280d202d577db302bfa 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) }