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

Commencez par compiler les deux déclarations d’interface export-default présentées dans le rapport et examinez la gestion par le compilateur TypeScript des noms d’interface default en double. La tâche est terminée si le cas signalé produit une erreur ou, si ce comportement est refusé, si les déclarations de sidenote conservent des références distinctes vers A et B.