supertype_expands_to_type_parameter

A type alias that expands to a type parameter can't be implemented.

A type alias that expands to a type parameter can't be mixed in.

A type alias that expands to a type parameter can't be used as a superclass constraint.

A type alias that expands to a type parameter can't be used as a superclass.

O analisador produz este diagnóstico quando um alias de tipo que se expande para um parâmetro de tipo é usado em uma cláusula extends, implements, with ou on.

O código a seguir produz este diagnóstico porque o alias de tipo T, que se expande para o parâmetro de tipo S, é usado na cláusula extends da classe C:

typedef T<S> = S;
​
class C extends T<Object> {}

Use o valor do argumento de tipo diretamente:

typedef T<S> = S;
​
class C extends Object {}