original.name="Template_Valid_59"
whiley.compile.ignore=true
WhileyCompiler.issue=1003
======
>>> main.whiley
type Option<T> is null | { T item }
type OboolOint is Option<bool>|Option<int>

public export method test():
    OboolOint x = (Option<int>) null
    //
    assume (x is Option<int>)
    //
    x = (Option<bool>) null
    //
    assume (x is Option<bool>)
    
---