Correct. We don't check restricted pointers. This is another item in my post merge todo. Do you call the normal get_alias_set code? Is TYPE_REF_CAN_ALIAS_ALL respected?