original.name="Template_Invalid_13"
======
>>> main.whiley
type Ref<T> is { T data } where data >= 0

---
E400 main.whiley 1,32:35