Skip to content

Commit e69d451

Browse files
[create-pull-request] automated change (#1351)
Co-authored-by: BillWagner <[email protected]>
1 parent 5648258 commit e69d451

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

standard/README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -125,6 +125,8 @@
125125
- [§8.9.4.4](types.md#8944-nullable-warnings) Nullable warnings
126126
- [§8.9.4.5](types.md#8945-nullable-enable) Nullable enable
127127
- [§8.9.5](types.md#895-nullabilities-and-null-states) Nullabilities and null states
128+
- [§8.9.5.1](types.md#8951-flow-analysis) Flow analysis
129+
- [§8.9.5.2](types.md#8952-type-conversions) Type conversions
128130
- [§9](variables.md#9-variables) Variables
129131
- [§9.1](variables.md#91-general) General
130132
- [§9.2](variables.md#92-variable-categories) Variable categories

standard/types.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -855,7 +855,7 @@ A compiler is not required to perform any static analysis nor is it required to
855855
856856
**The remainder of this subclause is conditionally normative.**
857857
858-
#### §flow-analysis Flow analysis
858+
#### 8.9.5.1 Flow analysis
859859
860860
A compiler that generates diagnostic warnings conforms to these rules.
861861
@@ -1040,7 +1040,7 @@ A compiler may use any expression that dereferences a variable, property, or eve
10401040
>
10411041
> *end example*
10421042
1043-
#### §type-conversions Type conversions
1043+
#### 8.9.5.2 Type conversions
10441044
10451045
A compiler that generates diagnostic warnings conforms to these rules.
10461046
@@ -1094,7 +1094,7 @@ A compiler may issue a warning when nullability annotations differ between two t
10941094
>
10951095
> *end example*
10961096
1097-
A compiler may follow rules for interface variance ([§18.2.3.3](interfaces.md#18233-variance-conversion)), delegate variance ([§20.4](delegates.md#204-delegate-compatibility)), and array covariance17.6) in determining whether to issue a warning for type conversions.
1097+
A compiler may follow rules for interface variance ([§18.2.3.3](interfaces.md#18233-variance-conversion)), delegate variance ([§20.4](delegates.md#204-delegate-compatibility)), and array covariance ([§17.6](arrays.md#176-array-covariance)) in determining whether to issue a warning for type conversions.
10981098
10991099
> <!-- Example: {template:"code-in-class-lib", name:"NullVariance", ignoredWarnings:["CS8619"]} -->
11001100
> ```csharp

0 commit comments

Comments
 (0)