Fix Index Analysis for Type Mismatches (Issue #17122)

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