[perl #127306] type captures in return type is not resolved

[Christian Bartolomaeus via RT]

On Mon Jan 18 06:00:47 2016, gfldex wrote:
> sub foo(::T $t --> T){ T.new };
> my Int $i = 42;
> foo($i);
> 
> # OUTPUT«Type check failed for return value; expected T but got Int␤  in 
> # sub foo at /tmp/HqdmxVFmny line 1␤  in block <unit> at /tmp/HqdmxVFmny 
> # line 1␤␤»

As a status update: This looks somewhat worse now:

$ ./perl6-m -e 'sub foo(::T $t --> T){ 45 }; my Int $i = 42; foo($i);'
X::TypeCheck::Return exception produced no message
  in sub foo at -e line 1
  in block <unit> at -e line 1

$ ./perl6-m --version
This is Rakudo version 2016.10-104-gdb61aaa built on MoarVM version 
2016.10-27-g196361f
implementing Perl 6.c.