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>:1A test was added to S14-roles/parameterized-type.t with the following commit: https://github.com/perl6/roast/commit/ada98bc5f149c99d50010aa307910f42c9ebb1a4.
