module

proc f(i: Word8)
var
  a: [10]Int
  x: Int
begin
  x := a[i] (* @Error Array index must be of type 'Word' or 'Int', but got 'Word8' *)
return

end.