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
On Mon Sep 21 11:22:24 2015, zef...@fysh.org wrote:
> $ ./perl6 -e 'sub aa(int:U $i) { say $i; }; aa(3); aa(int)'
> 3
> Cannot unbox a type object
> in sub aa at -e:1
> in block at -e:1
>
> The definedness constraint qualifiers :D and :U are ignored for the int
> type, even though in this con
# New Ticket Created by Zefram
# Please include the string: [perl #126135]
# in the subject line of all future correspondence about this issue.
# https://rt.perl.org/Ticket/Display.html?id=126135 >
$ ./perl6 -e 'sub aa(int:U $i) { say $i; }; aa(3); aa(int)'
3
Cannot unbox a type object
in s
