void () { runWithLanguageLevel( LanguageLevel.PYTHON35, () -> doTestByText(""" from abc import ABCMeta, abstractmethod class A(metaclass=ABCMeta): @abstractmethod def foo(self): pass def something(derived: A): for _, _ in derived.foo(): pass """) ); }