# New Ticket Created by Zefram # Please include the string: [perl #126891] # in the subject line of all future correspondence about this issue. # <URL: https://rt.perl.org/Ticket/Display.html?id=126891 >
> my Int $a = CORE > $a.WHAT.say (CORE) > CORE.^isa(Int) Cannot call isa(Perl6::Metamodel::ModuleHOW: CORE, Int); none of these signatures match: (Mu \SELF: Mu $type, *%_) (Mu \SELF: Str:D $name, *%_) in block <unit> at <unknown file>:1 > (sub (Int $a) { 1 })(CORE) Type check failed in binding $a; expected Int but got CORE in sub at <unknown file>:1 in block <unit> at <unknown file>:1 CORE is a module object; other module objects behave similarly. As shown above, they can be assigned to type-constrained variables despite not meeting the type constraint. Additionally, the .^isa method fails to operate on them; don't know whether these two faults are really related. Type constraint does apply as expected to a subroutine parameter. -zefram