original.name="Template_Invalid_2"
======
>>> main.whiley
type nat<int> is (int x) where x >= 0
---
E300 main.whiley 1,9:11