@@ -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
860860A 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
10451045A 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 covariance (§17 . 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