From zefram@fysh.org

$ ./perl6 -e 'sub aa (Int @​a) { say "hi"; }; my @​a of Int; aa(@​a)'
Type check failed in binding @​a; expected 'Positional[Int]' but got 'Array[Int]'
  in sub aa at -e​:1
  in block <unit> at -e​:1

Those types look pretty matching to me. The code works perfectly well
if the array's element type is expressed in the prefix form​:

$ ./perl6 -e 'sub aa (Int @​a) { say "hi"; }; my Int @​a; aa(@​a)'
hi

-zefram

From @zoffixznet

Appears to be fixed now.

Tests needed.

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

From @zoffixznet

Tests added in Raku/roast@87895fa4a9

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