The error message now mentions that 'Positional[Int]' is expected:

> sub f(Int @x) {}; f( [] )
Type check failed in binding @x; expected 'Positional[Int]' but got 'Array'
  in sub f at <unknown file>:1
  in block <unit> at <unknown file>:1

A test was added to S14-roles/parameterized-type.t with the following commit: 
https://github.com/perl6/roast/commit/ada98bc5f149c99d50010aa307910f42c9ebb1a4.

Reply via email to