sub foo (Int|constInt $y) { ... }