Avoid widening to Any for checks like type(x) is type(y: Any)

Avoid widening to Any for checks like type(x) is type(y: Any) #20425