LLVMIRのレベルでも型情報はなくなってますよ