[opaque pointer type] Encode the allocated type of an alloca rather than its pointer...