# New Ticket Created by Zefram
# Please include the string: [perl #129005]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org/Ticket/Display.html?id=129005 >
> constant IntD := Int:D; say IntD.ACCEPTS(Int); say (sub (IntD $a) { $a })(Int)
False
(Int)
Observe that the Int:D type constraint in this form allows the undefined
Int object through to the sub. I think this is a bug. Its .ACCEPTS
method works fine in this form, and the constraint works in both places
if referred to as "Int:D" rather than "IntD".
-zefram
