extension_type_implements_itself

The extension type can't implement itself.

O analisador produz este diagnóstico quando um tipo de extensão implementa a si mesmo, direta ou indiretamente.

O código a seguir produz este diagnóstico porque o tipo de extensão A implementa a si mesmo diretamente:

extension type A(int i) implements A {}

O código a seguir produz este diagnóstico porque o tipo de extensão A implementa a si mesmo indiretamente (por meio de B):

extension type A(int i) implements B {}
​
extension type B(int i) implements A {}

Quebre o ciclo removendo um tipo da cláusula implements de pelo menos um dos tipos envolvidos no ciclo:

extension type A(int i) implements B {}
​
extension type B(int i) {}