[perl #101364] Rakudo does not enforce return type constraints for implicit returns

[via RT]

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


Found by mls.

16:45 < moritz> nom: sub foo returns Int { Mu } ; say foo()
16:45 <+p6eval> nom ce15be: OUTPUT«Mu()␤»
16:46 < jnthn> moritz: yeah, bug...please file ticket

Note that it complains if you use an explicit return:

16:41 < mls_> perl6: sub foo returns Int { return Mu } ; say foo()
16:41 <+p6eval> ..rakudo ce15be: OUTPUT«Type check failed for return 
value␤  in sub foo at /tmp/Z7ulfnjlGl:1␤  in block <anon> at
                 /tmp/Z7ulfnjlGl:1␤  in <anon> at /tmp/Z7ulfnjlGl:1␤»