Reject @dataclass on NamedTuple classes

pyrefly/lib/alt/class/class_metadata.rs

@@ -446,6 +446,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
             protocol_metadata.is_some(),
             enum_metadata.is_some(),
             is_typed_dict,
+            named_tuple_metadata.is_some(),
             errors,
         );
         if let Some(dm) = dataclass_metadata.as_ref()
@@ -1037,6 +1038,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         is_protocol: bool,
         is_enum: bool,
         is_typed_dict: bool,
+        is_named_tuple: bool,
         errors: &ErrorCollector,
     ) -> Option<DataclassMetadata> {
         // If we inherit from a dataclass, inherit its metadata. Note that if this class is
@@ -1106,7 +1108,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 _ => {}
             }
         }
-        // @dataclass cannot be applied to Protocol, Enum, or TypedDict classes.
+        // @dataclass cannot be applied to Protocol, Enum, TypedDict, or NamedTuple classes.
         // Emit the error and return None so the class is not treated as a dataclass.
         if has_dataclass_decorator {
             if is_protocol {
@@ -1139,6 +1141,15 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 );
                 return None;
             }
+            if is_named_tuple {
+                self.error(
+                    errors,
+                    cls.range(),
+                    ErrorKind::BadClassDefinition,
+                    format!("Cannot apply `@dataclass` to NamedTuple `{}`", cls.name()),
+                );
+                return None;
+            }
         }
         if let Some((kws, field_specifiers)) = dataclass_from_dataclass_transform {
             // Inherit before-validator fields from base pydantic models, then add our own.

pyrefly/lib/test/dataclasses.rs

@@ -2443,6 +2443,19 @@ class DC2(Protocol, DC):  # E: If `Protocol` is included as a base class, all ot
 "#,
 );
 
+// https://github.com/facebook/pyrefly/issues/3751
+testcase!(
+    test_dataclass_decorator_on_named_tuple,
+    r#"
+from dataclasses import dataclass
+from typing import NamedTuple
+
+@dataclass
+class Foo(NamedTuple):  # E: Cannot apply `@dataclass` to NamedTuple
+    x: int
+"#,
+);
+
 // https://github.com/facebook/pyrefly/issues/2920
 testcase!(
     test_frozen_dataclass_override_setattr_delattr,