ref: 7a8432f91da0cd7b9e9fb0ccfb3c96d849d00b54 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: -> 1;; `Bar x: -> x;; ;; -> 2 }