Merge "Check if the type of an instruction is erroneous before inlining."