False positive error when solving for TypeVar

[erictraut]

This issue is related to #6207 but involves a change in the argument order.

from typing import Callable

def func8[T](a: T, b: Callable[[list[T]], None]) -> T:
    return a

def func9(v: Callable[[list[int]], None]):
    func8(1, v)