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

Bắt đầu bằng cách biên dịch hai khai báo interface export-default được nêu trong báo cáo và kiểm tra cách trình biên dịch TypeScript xử lý các tên interface default trùng lặp. Công việc được xem là hoàn tất khi trường hợp được báo cáo tạo ra lỗi hoặc, nếu hành vi đó bị từ chối, các khai báo sidenote vẫn giữ các tham chiếu riêng biệt đến A và B.