jn...@jnthn.net via RT wrote: >A native type cannot hold an undefined value, so writing :U should >be a compile time error (it could never match
I would expect the type object (int) to match the notional int:U constraint. Rakudo is quite clear that (int) isa int, and obviously it's not defined in the relevant sense. $ ./perl6 -e 'say int ~~ int; say int.defined' True False This side of native types runs into [perl #126116], regarding inconsistent behaviour about whether the type object is allowed into a native-typed variable. -zefram
