type Aa = string | int fn f() !string { return '' } y := Aa(f() or { 2 }) println(y)