maxmustermann/csharplang
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Update LDM-2019-05-15.md (#2814)

Browse source
This commit is contained in:
Julien Couvreur 2019-09-24 10:34:17 -07:00 committed by GitHub
parent 33c84007b6
commit aa314cce43
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
meetings/2019/LDM-2019-05-15.md
View file

@ -32,8 +32,8 @@ Internally to the member, the preconditions may affect the initial null-state of
These apply to anything that yields output: out parameters, return values, fields, properties, indexers, etc:
- `[MaybeNull]`: The output may be null, even if the type disallows it
- `[NotNull]`: The output will not be null, even if the type allows it
- `[MaybeNull]`: The output may be null, even if the type disallows it
- `[NotNull]`: For outputs (`ref`/`out` parameters, return values), the output will not be null, even if the type allows it. For inputs (by-value/`in` parameters) the value passed is known not to be null when we return.
On invocation, postconditions are applied after generic substitution, and affect the null state of the output. `[MaybeNull]` changes the null state of the output to “may be null”, whereas `[NotNull]` changes it to “not null”.