whiley_test_file 0.6.2

original.name="Contractive_Valid_1"
======
>>> main.whiley


type Contractive is Contractive[] | null

function f(Contractive x) -> (Contractive y):
    return x

public export method test() :
    Contractive x = f(null)
    assume x == null

---