search for: refineabstractype

...he actual type, which causes errors further down the line. For instance, if I had a type: %t = { %t*, ... } My pass would begin constructing a new type, say %t_1, and would replace all instances of %t with an opaque type, so... $t_0 = opaque %t_1 = { %t_0*, ... } At the end, it calls t_1->refineAbstracType(t_0, t_1) to replace instances of t_0 with t_1. But the resulting type I get is still %t_1 = { %t_0*, ... } Is this a bug, or is it supposed to work this way, and I need to do something else to accomplish what I'm trying to accomplish?