rakudo/rakudo — pull request #160 by timo (2013-05-28 14:42:36+00:00)
Title: Fail typed slurpy early

in response to https://rt.perl.org/rt3//Public/Bug/Display.html?id=113964 moritz said this:

< moritz> it's not at all clear how that one should work
< moritz> I mean if you write sub f(Int @f) { }, then it only allows an
Array[Int], not an Array containing only ints
< moritz> now how do you check that for a slurply, lazily?

This pull request makes rakudo complain at compile time if there's a typed *@ or **@ in a sub signature. There will probably have to be a spec change to make this clear and some spectests, too.