extension_type_implements_disallowed_type

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

The analyzer produces this diagnostic when an extension type implements a type that it isn't allowed to implement.

The following code produces this diagnostic because extension types can't implement the type dynamic:

extension type A(int i) implements dynamic {}

Remove the disallowed type from the implements clause:

extension type A(int i) {}