As part of #13618, implement inference for compare expressions involving intersection types.
As part of #13618, implement inference for compare expressions involving intersection types.