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) > }