From @moritz

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␤»

From @jnthn

On Fri Oct 14 07​:48​:40 2011, moritz wrote​:

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␤»

Fixed​:

sub foo returns Int { Mu } ; say foo()
Type check failed for return value

Needs test.

/jnthn

The RT System itself - Status changed from 'new' to 'open'

From @moritz

Tested in S02-types/type.t.

Note that these two forms still don't check the return type​:

my Int sub foo { }
sub foo( --> Int) { }

@moritz - Status changed from 'open' to 'resolved'