From @masak

<timotimo> masak​: there's a rakudobug for you to report in #moarvm :)
<masak> r​: sub z of Int { }; say &z ~~ Callable
<camelia> rakudo-parrot 1aeb7c, rakudo-jvm 1aeb7c, rakudo-moar 1aeb7c​:
OUTPUT«True␤»
<masak> r​: sub z of Int { }; say &z ~~ Callable[Int]
<camelia> rakudo-parrot 1aeb7c, rakudo-jvm 1aeb7c, rakudo-moar 1aeb7c​:
OUTPUT«False␤»
* masak submits rakudobug
<masak> r​: multi x(Int &y) { say 1 }; multi x(Str &y) { say 2 }; sub z
of Int { }; x &z
<camelia> rakudo-moar 1aeb7c​: OUTPUT«Cannot call 'x'; none of these
signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in sub x [...]»
<camelia> ..rakudo-parrot 1aeb7c​: OUTPUT«Cannot call 'x'; none of
these signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in any [...]»
<camelia> ..rakudo-jvm 1aeb7c​: OUTPUT«Cannot call 'x'; none of these
signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in any [...]»

The signature error is likely caused by &z not smartmatching
Callable[Int]. Fix that, and the last eval should start working, too.

From @jnthn

On Wed Mar 12 05​:29​:11 2014, masak wrote​:

<timotimo> masak​: there's a rakudobug for you to report in #moarvm :)
<masak> r​: sub z of Int { }; say &z ~~ Callable
<camelia> rakudo-parrot 1aeb7c, rakudo-jvm 1aeb7c, rakudo-moar 1aeb7c​:
OUTPUT«True␤»
<masak> r​: sub z of Int { }; say &z ~~ Callable[Int]
<camelia> rakudo-parrot 1aeb7c, rakudo-jvm 1aeb7c, rakudo-moar 1aeb7c​:
OUTPUT«False␤»
* masak submits rakudobug
<masak> r​: multi x(Int &y) { say 1 }; multi x(Str &y) { say 2 }; sub z
of Int { }; x &z
<camelia> rakudo-moar 1aeb7c​: OUTPUT«Cannot call 'x'; none of these
signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in sub x [...]»
<camelia> ..rakudo-parrot 1aeb7c​: OUTPUT«Cannot call 'x'; none of
these signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in any [...]»
<camelia> ..rakudo-jvm 1aeb7c​: OUTPUT«Cannot call 'x'; none of these
signatures match​:␤​:(Int &y)␤​:(Str &y)␤ in any [...]»

The signature error is likely caused by &z not smartmatching
Callable[Int]. Fix that, and the last eval should start working, too.

Fixed, and added tests in S06-signature/types.t and S06-multi/type-based.t.

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

@jnthn - Status changed from 'open' to 'resolved'