Don't blindly throw an error if two integer types are checked for compatibility. Bug reported in #4430