module

proc walk#[T](step: ^T)
begin
  step := step + 1 (* @Error Type parameter 'T' cannot be used in pointer arithmetic *)
return

end.