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