Fix Wrong Index Analysis for Different Types in Comparison

Fix possible wrong index analysis when the types of the index comparison are different. This fixes #17122. #17145 (Amos Bird).