Fix generic NamedTuple class pattern matching

Author: paulorochaoliveira

mypy/checkpattern.py

@@ -722,6 +722,8 @@ def get_class_pattern_type_ranges(self, typ: Type, o: ClassPattern) -> list[Type
 
         if isinstance(p_typ, FunctionLike) and p_typ.is_type_obj():
             typ = fill_typevars_with_any(p_typ.type_object())
+            if isinstance(typ, TupleType) and typ.partial_fallback.type.is_named_tuple:
+                typ = typ.partial_fallback
             return [TypeRange(typ, is_upper_bound=False)]
         if (
             isinstance(o.class_ref.node, Var)

test-data/unit/check-python310.test

@@ -961,6 +961,22 @@ match m:
         reveal_type(m)  # N: Revealed type is "__main__.A[builtins.int]"
         reveal_type(i)  # N: Revealed type is "builtins.int"
 
+[case testMatchClassPatternCaptureGenericNamedTupleAlreadyKnown]
+from typing import Generic, NamedTuple, TypeVar
+
+T = TypeVar("T")
+
+class A(NamedTuple, Generic[T]):
+    a: T
+
+m: A[int]
+
+match m:
+    case A(a=i):
+        reveal_type(i)  # N: Revealed type is "builtins.int"
+[builtins fixtures/tuple.pyi]
+[typing fixtures/typing-namedtuple.pyi]
+
 [case testMatchClassPatternCaptureFilledGenericTypeAlias]
 from typing import Generic, TypeVar
 

test-data/unit/check-python312.test

@@ -1676,6 +1676,20 @@ e: M[bool]  # E: Value of type variable "T" of "M" cannot be "bool"
 [builtins fixtures/tuple.pyi]
 [typing fixtures/typing-full.pyi]
 
+[case testMatchClassPatternCapturePEP695GenericNamedTupleAlreadyKnown]
+from typing import NamedTuple
+
+class N[T](NamedTuple):
+    x: T
+
+n: N[int]
+
+match n:
+    case N(x=value):
+        reveal_type(value)  # N: Revealed type is "builtins.int"
+[builtins fixtures/tuple.pyi]
+[typing fixtures/typing-full.pyi]
+
 [case testPEP695GenericTypedDict]
 from typing import TypedDict