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