new rule - invalid cast

[DetachHead]

basedpyright's reportInvalidCast rule detects casts that are likely a mistake by validating that the types overlap:

from typing import cast


cast(str, 1)

Conversion of type `Literal[1]` to type `str` may be a mistake because neither type sufficiently overlaps with the other.  If this was intentional, convert the expression to `object` first.

(typescript also does the same thing)

it would be nice if pyrefly had a rule for this as well

[yangdanny97]

I'm neutral on this one because cast is supposed to be for lying to the type checker, but I can see how this could be useful.

Maybe we can use the disjoint bases logic that @grievejia is working on