type TestSum = bool | f64 | int | string

fn test_main() {
    a := TestSum(true)
    $for v in TestSum.variants {
        if a is v {
            $if a is bool {
                assert a == true
            }
            $if a is string {
                assert a == ''
            }
            $if a is f64 {
                assert a == 0
            }
            $if a is int {
                assert a == 0
            }
        }
    }
    assert true
}