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:

Es wird keine Datei oder kein Test genannt. Beginne damit, das gemeldete TypeScript-Typprüfungsbeispiel mit optional chaining gefolgt von einer non-null assertion zu reproduzieren, und verfolge dann, wie diese Operatoren den abgeleiteten Typ bestimmen. Als erledigt gilt die Aufgabe, wenn das Verhalten entsprechend dem erwarteten Typ behoben und durch einen Regressionstest abgedeckt ist.