Index signature is assignable to weak type whose properties don't match the signature type

From https://stackoverflow.com/q/52368008 . Based on https://github.com/Microsoft/TypeScript/pull/16047#issue-122101801, it appears that @sandersn may have thought about the rule, but it still makes no sense to me and no rationale is stated.

TypeScript Version: master (394ee31a56c40033f31a3a8461ec267463033194)

Search Terms: weak type index signature

Code

interface Foo {
    a?: string;
}
interface Bar {
    [n: string]: number;
}
declare let b: Bar;
// No error; expected "Type 'Bar' has no properties in common with type 'Foo'."
let a: Foo = b;

Expected behavior: Error: "Type 'Bar' has no properties in common with type 'Foo'."

Actual behavior: No error.

Playground Link: link

Related Issues: Possibly #9900

Beginne mit der Reproduktion im TypeScript Playground und vergleiche das aktuelle Ergebnis mit der erwarteten Diagnose für schwache Typen. Lies die Diskussion in Issue #9900 und Pull Request #16047, um die bestehende Regel und ihre Begründung zu verstehen. Erledigt ist die Aufgabe, wenn das Beispiel den angegebenen Fehler meldet, ohne verwandte Zuweisungen an Index-Signaturen zu beeinträchtigen.