ref: 076907e11308f988a76dc73fc97641e2ae6b238e dir: /test/genericret.myr/
use std type t(@a) = union `Val @a `None ;; const f = {-> t(int) -> `None } const main = { match f() `None: -> 42;; ;; -> 0 }