In Javascript, `typeof x !== undefined ? t : f` should act like a declaration of `x` in the true branch

Search Terms:
existence of define typeof undefined

Code

// @noEmit: true
// @allowJs: true
// @checkJs: true
// @strict: true
// @Filename: a.js
if (typeof define !== 'undefined' && define.amd) {
    define([], function() {
    })
}
// also, nested
exports.storage = 'undefined' != typeof chrome &&
    'undefined' != typeof chrome.storage ?
    chrome.storage.local :
    undefined;

Expected behavior:
The check type define !== undefined should cause the true branch of the conditional to act as if define were declared.

Actual behavior:
Cannot find name 'define'.

Inizia con la riproduzione in a.js e le relative impostazioni @allowJs, @checkJs e @strict, quindi esegui il type checker di TypeScript sui due pattern typeof. Traccia il modo in cui il checker gestisce i rami condizionali e i nomi non risolti. Il lavoro è completato quando entrambi gli esempi superano il controllo dei tipi senza un errore Cannot find name, preservando il comportamento esistente per i controlli annidati.