From 0435d34e858cd9d413c9a1aa03e3d67a7dc1a627 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Wed, 15 Nov 2023 14:51:13 +0100 Subject: [PATCH] Improve comment --- .../extension-types/feature-specification.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/accepted/future-releases/extension-types/feature-specification.md b/accepted/future-releases/extension-types/feature-specification.md index 991cf4aba6..bd8b689a54 100644 --- a/accepted/future-releases/extension-types/feature-specification.md +++ b/accepted/future-releases/extension-types/feature-specification.md @@ -988,9 +988,10 @@ non-nullable, unless it implements `Object` or a subtype thereof (like all other expressions). Non-extension types (except bottom types and `dynamic`) cannot be assigned to extension types without an explicit cast. Similarly, the null object cannot be assigned to an extension type without -an explicit cast (or a constructor invocation). Since an extension type is -potentially non-nullable, an instance variable whose type is an extension -type must be initialized. It will not be implicitly initialized to null.* +an explicit cast (or if it has a static type which is an extension type, +e.g., `E(null)`). Since an extension type is potentially non-nullable, an +instance variable whose type is an extension type must be initialized. It +will not be implicitly initialized to null.* In the body of a member of an extension type declaration _DV_ named `Name` and declaring the type parameters