struct Aa {
    sub AliasType
}

type AliasType = Bb

struct Bb {
    a int
}

fn encode_struct[U](val U) {
    dump(val)
    println(val)
    $for field in U.fields {
        encode_struct(val.$(field.name))
    }
}

fn test_main() {
    aa := Aa{}

    encode_struct(aa)
    assert true
}