From @Mouq

The following should die​:

$ perl6 -e'my Int @​a; @​a[0] := "foo"'
$

Presumably the error would be similar to the correct error given by
assignment

$ perl6 -e'my Int @​a; @​a[0] = "foo"'
Type check failed in assignment to '@​a'; expected 'Int' but got 'Str'
  in method assign_pos at src/gen/m-CORE.setting​:10294
  in sub postcircumfix​:<[ ]> at src/gen/m-CORE.setting​:3285
  in block <unit> at -e​:1

From @usev6

I just linked this ticket from https://rt-archive.perl.org/perl6/Ticket/Display.html?id=81682, which is now closed but pointed to a similiar problem​:

$ perl6-m -e 'my Int @​a = 1, 2, 3; my Str $x = "foo"; @​a[0] := $x; say @​a[0];'
foo

It would be nice, if both variants (binding to a string directly and binding to a scalar variable of type Str) would be tested, once the type check is implemented

@usev6 - Status changed from 'new' to 'open'

From @jnthn

On Tue Jun 30 04​:13​:41 2015, bartolin@​gmx.de wrote​:

I just linked this ticket from
https://rt-archive.perl.org/perl6/Ticket/Display.html?id=81682, which is now closed
but pointed to a similiar problem​:

$ perl6-m -e 'my Int @​a = 1, 2, 3; my Str $x = "foo"; @​a[0] := $x; say
@​a[0];'
foo

It would be nice, if both variants (binding to a string directly and
binding to a scalar variable of type Str) would be tested, once the
type check is implemented

Fixed, and added both test cases to S09-typed-arrays/arrays.t.

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