Signature handling in my (…) is too permissive

[AlexDaniel]

Code:

my (Str() $x=60 --> Str);
dd $x;
$x = 42;
dd $x;

Result:

Any $x = Any
Int $x = 42

In other words you can apply as many traits as you want but all of them will be silently ignored. These traits are currently not useful for my, but the compiler shouldn't be throwing them away silently.

<jnthn> My worry is if anyone has got such thing in modules

Here are some examples:

• my\s*\(.*\(\).*= https://gist.github.com/3fd9c2c0c3bdf3380da45b08ac681886
• my\s*\(.*=.*\)\s*= https://gist.github.com/6fda2c575009c97a25e34297e5e45117

@chloekek++ for this discovery.

IRC log