type TestSmart = ?string | int

fn test_simple_case() {
	o := ?string('abc')
	dump(o)
	a := if o == none {
		'none'
	} else {
		'${o} exists'
	}
	dump(a)
	assert a == 'abc exists'
}

fn test_comptime_smartcast() {
	t := TestSmart(?string('foobar'))
	$for v in TestSmart.variants {
		if t is v {
			$if t is ?string {
				if t == none {
					panic('error')
				} else {
					assert t == 'foobar'
				}
			}
		}
	}
}