Non-null assertions infringe a responsibility of optional chaining

Because @RyanCavanaugh couldn't understand what is the problem, I reexplain it.

In the following case, a responsibility of optional chaining is making a return type Element | undefined.

// a is string | null | undefined
const a = document.querySelector('_')?.textContent;

In the following case, non-null assertion has broken the safeness made by optional chaining.

// a is string
const a = document.querySelector('_')?.textContent!;

It is obvious that optional chaining was not considered when non-null assertion operator was designed. TypeScript has to consider what is the best design and what to do via reconsidering the design of non-null assertion operator.

TypeScript Version: 3.7.x-dev.20191105

Search Terms:

Code

const a = document.querySelector('_')?.textContent!;

Expected behavior:

a is string | undefined.

Actual behavior:

a is string.

Playground Link:

Related Issues:

Non viene indicato alcun file o test. Inizia riproducendo l’esempio segnalato di controllo dei tipi TypeScript con optional chaining seguito da una non-null assertion, quindi traccia il modo in cui questi operatori determinano il tipo inferito. Il lavoro è completato quando il comportamento è risolto in base al tipo previsto e coperto da un test di regressione.