[perl #126284] --> Int:D allowed but not checked correctly

[Tobias Leich via RT]

Seems to work now that we have DefiniteHOW:

m: sub a() returns Int:U { 42 }; say  a
rakudo-moar 8f4e90: OUTPUT«(Int:U)␤Type check failed for return value; expected 
Int:U but got Int␤  in sub a at /tmp/LRo5pcMZof:1␤  in block  at 
/tmp/LRo5pcMZof:1␤␤»

m: sub a() returns Int:D { Int }; say  a
rakudo-moar 8f4e90: OUTPUT«(Int:D)␤Type check failed for return value; expected 
Int:D but got Int␤  in sub a at /tmp/SnKt55D7zj:1␤  in block  at 
/tmp/SnKt55D7zj:1␤␤»

Tagging it testneeded.

[perl #126284] --> Int:D allowed but not checked correctly

[Tobias Leich via RT]

Marked existing tests as related to this ticket:
https://github.com/perl6/roast/commit/5bd83c5b01

Closing ticket.

[perl #126284] --> Int:D allowed but not checked correctly

[via RT]

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


[14:56:02]  m: sub a(--> Int:D) { Int }; a   # jnthn, is this 
supposed to die or not ?
[14:56:03]  <+camelia>  rakudo-moar dafcfe: ( no output )
[14:56:48]  jnthn: perhaps a compile time NYI for --> Foo:D ?
[15:00:14]   lizmat: Either we should fix it or disallow it
[15:00:48]  jnthn: will ticket it, ok?
[15:00:59]   +1