[perl #123770] Coercer syntax doesn't check for definedness

[via RT]

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


[15:31:47]  <lizmat>    m: sub a(Int(Cool:D) $a) { say $a }; a Cool   # feels 
this should fail
[15:31:48]  <+camelia>  rakudo-moar d29715: OUTPUT«use of uninitialized value 
of type Cool in numeric context  in sub a at /tmp/L77KWsiM9N:1␤␤0␤»
[15:32:03]  <lizmat>    or complain about the :D in the coercer
[15:32:16]  <lizmat>    std: sub a(Int(Cool:D) $a) { say $a }; a Cool 
[15:32:18]  <+camelia>  std f9b7f55: OUTPUT«ok 00:01 141m␤»
[15:33:06]  <lizmat>    m: sub a(Cool:D $a as Int) { say $a }; a Cool  # should 
fail like this
[15:33:06]  <+camelia>  rakudo-moar d29715: OUTPUT«Parameter '$a' requires an 
instance, but a type object was passed␤  in sub a at /tmp/D5UepJwrRP:1␤  in 
block <unit> at /tmp/D5UepJwrRP:1␤␤»
[15:33:30]  <timotimo>  sounds reasonable to me, maybe someone could rakudobug 
it
[15:33:50]  <lizmat>    I will
[15:34:12]  <jnthn>     lizmat: Yeah...which in turn really wants definedness 
types to become first class too...