`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;

Inizia compilando le due dichiarazioni di interfaccia export-default mostrate nel report e verifica come il compilatore TypeScript gestisce i nomi di interfaccia default duplicati. Il lavoro è completato quando il caso segnalato produce un errore oppure, se questo comportamento viene rifiutato, quando le dichiarazioni di sidenote mantengono riferimenti distinti ad A e B.