Simple Comparison of Generics not allowed?

TypeScript Version: 3.8

Search Terms:
generic comparison
compare generic strings

Code

function test<A, B>(one: A, two: B): A {
  if (one === two) {
    throw new Error('no');
  }
  return one;
}

const obj = {};

test(obj, obj);

Expected behavior:

While the generics are generally indicating that one and two are independent values, they can still potentially be the same underlying value so they should be able to at least be checked for equality without casting them first, especially since there is no error produced when calling the function with identical values in the first place.

At the very least the error message should be more specific since the assumption it is providing is not correct in since the condition returns true :-P

( This is clearly a simplified version of where I ran into this since there'd be no reason to use generics in this specific case :-) )

Actual behavior:

Shown in example

Playground Link: Playground

Inizia con il link a TypeScript 3.8 Playground e la riproduzione generica test<A, B> nell’issue. Analizza la diagnosi del type-checker durante il confronto di one === two quando A e B sono parametri di tipo indipendenti. Il lavoro è considerato completato quando il comportamento del confronto o la relativa diagnosi corrisponde all’aspettativa indicata, con una copertura per l’esempio mostrato.