Nigel-Ecma
Nigel-Ecma
@KalleOlaviNiemitalo uses the following [code](https://github.com/dotnet/csharpstandard/pull/673#discussion_r1336779227) in a comment on PR #673: ```csharp struct S { int P => 0; // not readonly int this[string s] => 0; // not readonly...
This issue came to light as a result of #964 where an issue with the wording of an ambiguity described in §6.2.5 *Grammar ambiguities* was discussed and addressed. Ambiguities are...
In revising the paragraph defining governing type: > The _**governing type**_ of a `switch` statement … Otherwise, exactly one user-defined implicit > conversion operator (§13.4) shall exist from the type...
v6 introduces expression-bodied members, v7 will introduce expression-bodied finalisers. In the former case result of the *expression* of the body may be classified as nothing (§12.2.1) if the return type...
A draft of the C# 7 Standard defined the ref-safe-context of output-parameters as function-member, before C# 11 it was caller-context. The C# 7 draft was corrected, this is a reminder...
Adds support for nullable arrays, arrays of nullables, and nullable arrays of nullables. Review notes: - Only `arrays.md`, `types.md`, `sample.cs` &` ReadMe.md` need to be considered; all other files are...
The final para of §6.2.5 is: > When recognising a *relational_expression* ([§12.12.1](expressions.md#12121-general)) if both the “*relational_expression* `is` *type*” and “*relational_expression* `is` *pattern*” alternatives are applicable, and *type* resolves to an...
There are issues with the clause §6.2.5 *Grammar ambiguities* that need addressing: - It has not kept up as new constructs which need to be, or need not to be,...
[Design Bug] C# requires insertion of *hidden* expicit conversions instead of reporting type errors
### Summary C# has a significant/dangerous design bug – under certain circumstance it inserts __*hidden*__ conversions that potentially perform __*invalid mathematics*__. These hidden UXBs in the code are at very...
In §12.2.2 we have: > - The value of a property access expression is obtained by invoking the get accessor of the property. If the property has no get accessor,...