type Type = string | bool

fn main() {
    t := Type('')
    assert t is string && t == ''
}