original.name="StaticVar_Invalid_7"
======
>>> main.whiley
final int x = [x][0]
---
E509 main.whiley 1,14:19