original.name="Parsing_Invalid_2"
======
>>> main.whiley
type nat is int
type nat is {int x, int y}
---
E316 main.whiley 2,5:7
=====
>>> main.whiley 2:3
public export method test():
   nat x = 1
   assert x == 1
---