type_parameter_supertype_of_its_bound

'{0}' can't be a supertype of its upper bound.

The analyzer produces this diagnostic when the bound of a type parameter (the type following the extends keyword) is either directly or indirectly the type parameter itself. Stating that the type parameter must be the same as itself or a subtype of itself or a subtype of itself isn't helpful because it will always be the same as itself.

The following code produces this diagnostic because the bound of T is T:

class C<T extends T> {}

The following code produces this diagnostic because the bound of T1 is T2, and the bound of T2 is T1, effectively making the bound of T1 be T1:

class C<T1 extends T2, T2 extends T1> {}

If the type parameter needs to be a subclass of some type, then replace the bound with the required type:

class C<T extends num> {}

If the type parameter can be any type, then remove the extends clause:

class C<T> {}

除非另有说明，文档之所提及适用于 Dart 3.7.3 版本，本页面最后更新时间: 2025-05-08。 查看文档源码 或者 报告页面问题。