From @masak

<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.

From @jnthn

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

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

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