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


type Contractive is { Contractive f} | null

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

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

---