Error propagation of typeCombine
optimize typeCombine call
Directly return the result of incompatibleTypes