// "loop-alias-06.hac"
// copy-modified from "loop-alias-05.hac"
// should pass

defproc pbit (bool t) { }

defproc pbitint (pbit pb) { }

defproc lut (pbitint pbint[2]) {
pbit p[2];
(;i:2:
        p[i].t = pbint[i].pb.t;			// is fine
)
        // p.t = pbint.pb.t;			// is fine
}

lut l;

