# New Ticket Created by Zefram
# Please include the string: [perl #126134]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org/Ticket/Display.html?id=126134 >
$ ./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
