Am 16.03.2011 21:58, schrieb Carl MXXsak (via RT):
<masak> rakudo: role R[::T] { multi method foo(::T $x) { say $x } };
class C does R[Str] does R[Int] {}; C.new.foo(5.5) # should fail,
right?
Note that T would be the type, ::T is a type capture - it (hopefully lexically) rebinds T to the type of $x, it's not a type constraint.
Cheers, Moritz
