It highlights mismatched types, may slightly slow down syntax analysis speed.