`export default interface` with two names should be an error

The following does not report an error:

export default interface A { a: string; }
export default interface B { b: string; }

and instead makes both names refer to the merged interface.

Sidenote: if this does not become an error for whatever reason, then this should be made to work too:

export default interface A { a: string; }
export default interface B { b: string; }
declare var xa: A;
declare var xb: B;

Beginne damit, die beiden im Bericht gezeigten export-default-Interface-Deklarationen zu kompilieren, und untersuche, wie der TypeScript-Compiler mit doppelten Default-Interface-Namen umgeht. Als erledigt gilt die Aufgabe, wenn der gemeldete Fall einen Fehler erzeugt oder, falls dieses Verhalten abgelehnt wird, die Sidenote-Deklarationen unterschiedliche Verweise auf A und B beibehalten.