```py from typing import Generic, _T as T def f1(key: list[T], value: list[T]): ... f1([1], []) # Cannot infer type argument 1 of "f" [misc] ```