[perl #123446] Closure parameter call site types should be checked at compile time if possible

[Aleks-Daniel Jakimenko-Aleksejev via RT]

Still NYI (2017.11, HEAD(5929887)).

The logic behind this ticket is correct, because we already do this:

Code:
sub foo(Str $x) {}; foo(3)

Result:
===SORRY!=== Error while compiling -e
Calling foo(Int) will never work with declared signature (Str $x)
at -e:1
------> sub foo(Str $x) {}; ⏏foo(3)

On 2014-12-16 20:28:09, r...@hoelz.ro wrote:
> The following should fail to compile, even if foo is never called:
>
> sub foo(&cb:(Str)) {
> cb(1)
> }