From 37c1ecae1540cdbd2e2a5958274cc511498976d8 Mon Sep 17 00:00:00 2001
From: Rex Jaeschke <rex@RexJaeschke.com>
Date: Tue, 20 Jan 2026 15:21:05 -0500
Subject: [PATCH] Allow record class as an alias for record

---
 standard/classes.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/standard/classes.md b/standard/classes.md
index b4b75ec21..29874fbf3 100644
--- a/standard/classes.md
+++ b/standard/classes.md
@@ -20,7 +20,7 @@ class_declaration
     ;
 
 class_tag
-    : 'class'
+    : 'record'? 'class'
     | 'record'
     ;
 ```
@@ -33,6 +33,8 @@ A class declaration that supplies a *type_parameter_list* is a generic class dec
 
 If *class_tag* contains `record`, that class is a ***record class***; otherwise, it is a ***non-record class***.
 
+The *class_tag*s `record` and `record class` are equivalent.
+
 For a record class, *class_modifier* shall not be `static`.
 
 *delimited_parameter_list* shall not be present in a non-record class.