# New Ticket Created by Zefram
# Please include the string: [perl #126135]
# in the subject line of all future correspondence about this issue.
# <URL: 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 sub aa at -e:1
in block <unit> at -e:1
The definedness constraint qualifiers :D and :U are ignored for the int
type, even though in this context of a parameter declaration they work
for most types. This is misleading. The qualifiers should signal an
error in this situation, unless and until they are implemented so as to
have the obvious effect.
-zefram
