void () { doTestByText(""" from typing import Generic, TypeVar, Iterable T = TypeVar('T') S = TypeVar('S') class C<error descr="Some type variables (S) are not listed in 'Generic[T]'">(Generic[T], Iterable[S])</error>: pass B = Generic D = T class A<error descr="Some type variables (S) are not listed in 'Generic[T]'">(B[D], Iterable[S])</error>: pass class E(Generic[T], Iterable[T]): pass class F(B[D], Iterable[D]): pass \s class G(Iterable[T]): pass"""); }