[perl #74348] [BUG] LTA error message when a where block fails in a subtype during single dispatch in Rakudo

[jn...@jnthn.net via RT]

On Tue Apr 13 08:51:39 2010, masak wrote:
> <masak> rakudo: subset Foo of Array where { .elems == 5 }; sub bar(Foo
> $_) {}; bar([1,2,3])
> <p6eval> rakudo cb4521: OUTPUT«Nominal type check failed for parameter
> '$_'; expected Array but got Array instead [...]
> * masak submits rakudobug
> <masak> it's not the nominal typecheck that fails, it's... the other one.
> <masak> the one with the where clause, whatever it's called.

Fixed now:

C:\Consulting\rakudo>type test.p6
subset Foo of Array where { .elems == 5 };
sub bar(Foo $x) {};
bar([1,2,3]);

C:\Consulting\rakudo>perl6 test.p6
Constraint type check failed for parameter '$x'
  in 'bar' at line 2:test.p6
  in main program body at line 3:test.p6

Given to moritz++ for spectesting.

Thanks,

Jonathan