添字アクセス

[]は通常のメソッドとは異なっています。

a = [!1, !2]
a[0].inc!()
assert a == [2, 2]

サブルーチンの戻り値には参照を指定できないということを思い出してください。 a[0]の型は、ここでは明らかにRef!(Int!)であるはずです(a[0]の型は文脈に依存します)。 よって、[]は実際には.と同じく特別な構文の一部です。Pythonとは違い、オーバーロードできません。 メソッドで[]の挙動を再現することもできません。

C = Class {i = Int!}
C.steal(self) =
    self::i

C.get(ref self) =
    self::i # TypeError: `self::i` is `Int!` (require ownership) but `get` doesn't own `self`

# OK (assigning)
c = C.new({i = 1})
i = c.steal()
i.inc!()
assert i == 2
# or (own_do!)
own_do! C.new({i = 1}).steal(), i => i.inc!()

# NG
C.new({i = 1}).steal().inc!() # OwnershipWarning: `C.new({i = 1}).steal()` is not owned by anyone
# hint: assign to a variable or use `uwn_do!`

また、[]は所有権を奪うこともできますが、その際に要素がシフトするわけではありません。

a = [!1, !2]
i = a[0]
i.inc!()
assert a[1] == 2
a[0] # OwnershipError: `a[0]` is moved to `i`