Exploring the concepts outlined in the handbook basics, it is noted that TypeScript is able to identify logic errors. In an attempt to experiment with this, I modified the else if section of the if...else statement as demonstrated in the handbook's example to the following:
const value = Math.random() < 0.5 ? "a" : "b";
if (value !== "a") {
} else if (value !== "b") {
}
However, I encountered an error message:
"This condition will always return 'true' since the types '"a"' and '"b"' have no overlap."
I am puzzled by this. Furthermore, it is worth noting that this approach worked in JavaScript but seems to be ineffective in TypeScript. What could be causing this inconsistency?