raise a type error on attempt to strict-equal-compare a value of string | null to undefined

the following examples are almost certainly bugs:

declare var one: string | undefined;
// expected a type error: Operator '===' cannot be applied to types 'string | undefined' and 'null'
// actual no problem
if (one === null) { 
   // unreachable, because one can't ever be null, undefined was likely meant instead
}

declare var another: string | null;
// expected a type error: Operator '===' cannot be applied to types 'string | null' and 'undefined'
// actual no problem
if (another === undefined) {
   // unreachable, because one can't ever be undefined, null was likely meant instead
}

consider raising a type error for the above situations

Commencez par reproduire les deux exemples TypeScript de l'issue et examinez le comportement de vérification des types du compilateur pour les comparaisons d'égalité stricte impliquant des unions de chaînes et null ou undefined. C'est terminé lorsque les deux comparaisons impossibles produisent des erreurs de type, tandis que les comparaisons valides restent acceptées ; le payload ne nomme ni fichier source ni test.