Clarification on how Typevars in a generic function should resolve

Hi, regarding the issue opened here:

https://github.com/astral-sh/ty/issues/2255

Can you please provide clarification on how TypeVars in a function like func in the below code should be resolved?

class A:
    pass

class B(A):
    pass

class C(A):
    pass

def func[T: A](x: T, y: T) -> T:
    ...

func(B(), C()) # I think this should raise a type error by type checkers but no type checker (mypy, pyright, etc) raise an error for this

Please look at these comments:
https://github.com/astral-sh/ty/issues/2255#issuecomment-3697606854
https://github.com/astral-sh/ty/issues/2255#issuecomment-3697628015
https://github.com/astral-sh/ty/issues/2255#issuecomment-3698867080
https://github.com/astral-sh/ty/issues/2255#issuecomment-3699067335

Trước tiên, hãy đọc issue #2255 của ty được liên kết và các bình luận được trích dẫn trong đó, sau đó so sánh các cách diễn giải của chúng với ví dụ về hàm generic ở đây. Ghi lại quy tắc đã được thống nhất để phân giải T trong func(B(), C()), bao gồm cả việc có nên từ chối lời gọi hay không; công việc được xem là hoàn tất khi cộng đồng typing có một câu trả lời rõ ràng được ghi lại.