# New Ticket Created by  Zefram 
# Please include the string:  [perl #128392]
# in the subject line of all future correspondence about this issue. 
# <URL: https://rt.perl.org/Ticket/Display.html?id=128392 >


> :(Int $a).perl
:(Int $a)
> :(Numeric $a).perl
:(Numeric $a)
> :(Callable $a).perl
:($a)

The last of these is bogus: the Callable type constraint is being
omitted from the deparsing.  A sub defined with this type constraint
does in fact have the constraint take effect.  Deparsing of the sub, and
the error message for static detection of violation of the constraint,
shows the signature incorrectly as above.

-zefram

Reply via email to