From @hoelzro

The following should fail to compile, even if foo is never called​:

sub foo(&cb​:(Str)) {
  cb(1)
}

From @AlexDaniel

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, rob@​hoelz.ro wrote​:

The following should fail to compile, even if foo is never called​:

sub foo(&cb​:(Str)) {
cb(1)
}

The RT System itself - Status changed from 'new' to 'open'