Skip to content

Commit 6389cd0

Browse files
committed
It is => it shall be
1 parent a191e24 commit 6389cd0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

standard/classes.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -487,7 +487,7 @@ For a type parameter `T` when the type argument is a nullable reference type `C?
487487
488488
The ***not null*** constraint specifies that a type argument used for the type parameter should be a non-nullable value type or a non-nullable reference type. A type argument that isnt a non-nullable value type or a non-nullable reference type is allowed, but a compiler may produce a diagnostic warning.
489489
490-
Because `notnull` is not a keyword, in *primary_constraint* the not null constraint is always syntactically ambiguous with *class_type*. For compatibility reasons, if a name lookup ([§12.8.4](expressions.md#1284-simple-names)) of the name `notnull` succeeds it is treated as a `class_type`. Otherwise it is treated as the not null constraint.
490+
Because `notnull` is not a keyword, in *primary_constraint* the not null constraint is always syntactically ambiguous with *class_type*. For compatibility reasons, if a name lookup ([§12.8.4](expressions.md#1284-simple-names)) of the name `notnull` succeeds it shall be treated as a `class_type`. Otherwise it shall be treated as the not null constraint.
491491
492492
> *Example*: The following class demonstrates the use of various type arguments against different constraints, indicating warnings which may be issued by a compiler.
493493
>

0 commit comments

Comments
 (0)