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

Empieza compilando las dos declaraciones de interfaz export-default mostradas en el informe e inspecciona cómo gestiona el compilador de TypeScript los nombres de interfaz default duplicados. Se considera terminado cuando el caso indicado produce un error o, si se rechaza ese comportamiento, las declaraciones de sidenote conservan referencias distintas a A y B.