sub foo ($n) {
    my Int $a = $n; # $n's type is not known
}

my Int $something = 5;
foo $something;