[perl #64990] Should be able to fail() from a upper-case-return-type-constrained sub in Rakudo

[Will Coleda via RT]

On Fri Mar 29 11:23:03 2013, coke wrote:
> On Fri Aug 31 12:10:54 2012, moritz wrote:
> > In nom, prefix and --> return type constraints weren't implemented for
> > quite some time, which made the tests pass even though they shouldn't.
> 
> Currently failure mode of tests:
> 
> 14:21 < [Coke]> r: our Int sub foo { fail('a') }; say foo() ~~ Failure
> 14:21 <+p6eval> rakudo 897636: OUTPUT«a␤  in method sink at
>                 src/gen/CORE.setting:10630␤  in method BUILDALL at
>                 src/gen/CORE.setting:801␤  in method bless at
>                 src/gen/CORE.setting:743␤  in method new at
>                 src/gen/CORE.setting:728␤  in method new at
>                 src/gen/CORE.setting:726␤  in sub foo at /tmp/Uu3wdrYiKc:1…
> 14:21 < moritz> sink bug
> 14:21 < moritz> *sadface*
> 

This is now failing in a way very similar to the original bug report:

$ ./perl6-m -e 'our Int sub foo() { return fail() }; foo()'
Type check failed for return value; expected 'Int' but got 'Failure'
  in any return_error at src/vm/moar/Perl6/Ops.nqp:649
  in sub foo at -e:1
  in block <unit> at -e:1

-- 
Will "Coke" Coleda