@ts-ignore on an import that gets redefined strips the import from output

TypeScript Version: 3.7.5 and 3.8.0

Search Terms:

• ts-ignore remove import
• ts-ignore strip import

Code

// @ts-ignore: Local Foo override
import Foo from "foo";

declare const Foo: {
    bar(): number;
}

Foo.bar();

Expected behavior:

JS output should probably be:

import Foo from "foo";

Foo.bar();

Actual behavior:

JS output is:

Foo.bar();

Playground Link: https://www.typescriptlang.org/play/index.html?ts=3.8-Beta&ssl=9&ssc=1&pln=1&pc=1#code/PTAEAEBcGcFoEsDmA7A9gJwKYC5QBlUBjAQwBtQAxVVUVAN03XXgBNMAoeAWwAcNJK1UADN0qLqABEw6pIDc7dm0KliWUIVTJoAqqlwBvdqBOgARmoAUASlzIArlzOMFAX0V6AdBfQ2FQA

Related Issues: None so far

Additional remarks: We are aware of other ways to type the foo module but in this particular case the foo override needs to be done in the file using it. As far as we tried, adding a ts-ignore is the only way to make ts understand that we want to redefine the module.
Now, this seems to move the declaration site from the import to the the declare statement and that has the effect to mark the import site as unused, since the import is unused, ts strips it.

Reproduziere das Verhalten aus dem bereitgestellten TypeScript-3.7.5/3.8.0-Code und dem Playground-Link und verfolge anschließend die Entscheidung des Compilers zur Import-Eliminierung für einen Import, auf den eine Neudeklaration folgt. Als erledigt gilt die Aufgabe, wenn das ausgegebene JavaScript den Import wie in der erwarteten Ausgabe beibehält und dieser Fall durch Tests abgedeckt ist.