original.name="Reference_Invalid_5"
js.execute.ignore=true
======
>>> main.whiley
type Node is {
    int item,
    List next
} where !(next is null) ==> item < next->item

type List is null | &Node

public export method test():
    List l1 = null
    List l2 = new { item: 2, next: l1 }
    List l3 = new { item: 1, next: l2 }
    List l4 = new { item: 3, next: l3 }
---
E702 main.whiley 12,14:38
E718 main.whiley 12,14:38