Support [Maybe/NotNullWhen(...)]
on by-value and in
parameters
#41569
Labels
Area-Compilers
Area-Language Design
New Language Feature - Nullable Reference Types
Nullable Reference Types
Milestone
We currently give a special meaning to
[NotNull]
and[MaybeNull]
on input parameters (see LDM notes), but we don't for their conditional counterparts.We should consider doing that too, assuming that we can come up with a compelling example.
Note: if we do this, we should consider enforcement within method bodies and also in OHI.
Tagging @RikkiGibson who raised the question in #41336
The text was updated successfully, but these errors were encountered: