From c88cdd97ea265fc8925bb8c56ad13ba09bb1468a Mon Sep 17 00:00:00 2001
From: Nigel-Ecma <6654683+Nigel-Ecma@users.noreply.github.com>
Date: Sat, 1 Nov 2025 09:45:33 +1300
Subject: [PATCH] Update the introduction of open and closed types.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Alternatives for the first line of §8.4.3, the starting point is the **temporary** reinstatement of the line as it was before #1441 was merged.
---
 standard/types.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/standard/types.md b/standard/types.md
index 06bca3d54..e65b41675 100644
--- a/standard/types.md
+++ b/standard/types.md
@@ -547,7 +547,7 @@ Each type argument shall satisfy any constraints on the corresponding type param
 
 ### 8.4.3 Open and closed types
 
-Any type can be classified as either an ***open type*** or a ***closed type***. An open type is a type that involves type parameters. More specifically:
+All types can be classified as either ***open types*** or ***closed types***. An open type is a type that involves type parameters. More specifically:
 
 - A type parameter defines an open type.
 - An array type is an open type if and only if its element type is an open type.