Duncan Sands wrote: > do you understand what it means in the non-vector case? I'm beginning to understand it now. It means the type that should be in abstract VM memory. So this type should be original always (as it was defined in .ll) isn't it?