We need to check that the return type is correct, even in cases where we don't

have a return type that differs from the operand types.

llvm-svn: 55376