extension_type_implements_disallowed_type

Extension types can't implement '{0}'.

O analisador produz este diagnóstico quando um tipo de extensão implementa um tipo que ele não tem permissão para implementar.

O código a seguir produz este diagnóstico porque tipos de extensão não podem implementar o tipo dynamic:

extension type A(int i) implements dynamic {}

Remova o tipo não permitido da cláusula implements:

extension type A(int i) {}