Comparison of union types should error

TypeScript Version: v4.0.2

Search Terms: union type comparison

Code

function compare(a: number | string, b: number | string): boolean {
  return a < b; // <- Fails to error
}
compare(1, "a");
1 < "a"; // Correctly errors: Operator '<' cannot be applied to types 'number' and 'string'.

This is a simplified example taken from an error found in code review. The function's type signature should really be: function compare<T extends number | string>(a: T, b: T): boolean and I would have expected TypeScript to error for the uncorrected type signature.

Expected behavior:

Typescript should catch the error comparing union types within the function as Flow (v0.136.0) does: flow.org/try example.

Actual behavior:

Typescript does not catch the error for a < b.

Playground Link: example in typescriptlang.org/play.

Related Issues:

Reproduce la comparación indicada en el TypeScript Playground y compárala con la comparación directa de number/string mostrada en el issue. Rastrea cómo el comprobador de tipos gestiona los operadores relacionales para operandos de unión; después, añade una prueba de regresión que compruebe el diagnóstico esperado y verifica que las comparaciones válidas entre valores del mismo tipo sigan funcionando.