Currently, does this:
sub foo (::T $x, ::T $y) { }
and this:
sub foo (T $x, T $y) { }
Means the same thing, namely
a) if the package T is defined in scope, use that as the
type constraint for $x and $y
b) otherwise, set ::T to be the most immediate common supertype
of $x and $y.
Is this understanding correct? I'd like to disambiguate the two cases
by making ::T in parameter list to always mean type variable (sense b),
and the bare T always mean type name (sense a)?
Thanks,
/Autrijus/
pgpnVXpIR8h2l.pgp
Description: PGP signature
