typedef A = (bool x);
var A a;
var (bool x) b;

() test1() {
    a = b;
    b = a;
}

typedef C = (A y);
var C c;
var ((bool x) y) d;

() test2() {
    c = d;
    d = c;
}