original.name="Unsafe_Valid_6"
whiley.execute.ignore=true
boogie.ignore=true
======
>>> main.whiley
type uint is (int x) where x >= 0

unsafe uint x = -1

unsafe public export method test():
    assert x == -1
---