Skip to content

Commit 09e788c

Browse files
authored
fix md formatting
1 parent 9ba4e3b commit 09e788c

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

standard/classes.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3461,9 +3461,10 @@ To build the required member list `R` for a type `T`, the following steps are us
34613461

34623462
1. For every type `Tb`, starting with `T` and working through the base type chain until `object` is reached.
34633463
1. If `Tb` is decorated with the `RequiredMember` attribute (§RequiredMember), then all members of `Tb` marked with that attribute are gathered into `Rb`
3464-
1. For every `Ri` in `Rb`, if `Ri` is overridden by any member of `R`, it is skipped.
3465-
1. Otherwise, if any `Ri` is hidden by a member of `R`, then the lookup of required members fails, and no further steps are taken. Calling any constructor of `T` not decorated with the `SetsRequiredMembers` is an error.
3466-
1. Otherwise, `Ri` is added to `R`.
3464+
3465+
- For every `Ri` in `Rb`, if `Ri` is overridden by any member of `R`, it is skipped.
3466+
- Otherwise, if any `Ri` is hidden by a member of `R`, then the lookup of required members fails, and no further steps are taken. Calling any constructor of `T` not decorated with the `SetsRequiredMembers` is an error.
3467+
- Otherwise, `Ri` is added to `R`.
34673468

34683469
A required member shall be treated as if it were decorated with the attribute `System.Runtime.CompilerServices.RequiredMemberAttribute` (§RequiredMember).
34693470
With regard to nullable reference type analysis ([§8.9](types.md#8.9-types-and-nullability)), a required member need not be initialized to a valid nullable state when any of its instance constructors returns. Any required member in a type and its base types is considered by nullable analysis to have its default value at the beginning of any instance constructor in that type, unless it chains to a `this` or `base` constructor that is decorated with the `SetsRequiredMembersAttribute` attribute.

0 commit comments

Comments
 (0)