[create-pull-request] automated change (#675)

Co-authored-by: jskeet <[email protected]>

Author: github-actions[bot]

standard/README.md

@@ -184,7 +184,8 @@
     - [§10.2.12](conversions.md#10212-implicit-conversions-involving-type-parameters)  Implicit conversions involving type parameters
     - [§10.2.13](conversions.md#10213-user-defined-implicit-conversions)  User-defined implicit conversions
     - [§10.2.14](conversions.md#10214-anonymous-function-conversions-and-method-group-conversions)  Anonymous function conversions and method group conversions
-    - [§10.2.15](conversions.md#10215-implicit-throw-conversions)  Implicit throw conversions
+    - [§10.2.15](conversions.md#10215-default-literal-conversions)  Default literal conversions
+    - [§10.2.16](conversions.md#10216-implicit-throw-conversions)  Implicit throw conversions
   - [§10.3](conversions.md#103-explicit-conversions)  Explicit conversions
     - [§10.3.1](conversions.md#1031-general)  General
     - [§10.3.2](conversions.md#1032-explicit-numeric-conversions)  Explicit numeric conversions

standard/conversions.md

@@ -310,11 +310,11 @@ A user-defined implicit conversion consists of an optional standard implicit con
 
 Anonymous functions and method groups do not have types in and of themselves, but they may be implicitly converted to delegate types. Additionally, some lambda expressions may be implicitly converted to expression tree types. Anonymous function conversions are described in more detail in [§10.7](conversions.md#107-anonymous-function-conversions) and method group conversions in [§10.8](conversions.md#108-method-group-conversions).
 
-### §default-literal-new-clause Default literal conversions
+### 10.2.15 Default literal conversions
 
 An implicit conversion exists from a *default_literal* ([§11.7.19](expressions.md#11719-default-value-expressions)) to any type. This conversion produces the default value ([§9.3](variables.md#93-default-values)) of the inferred type.
 
-### 10.2.15 Implicit throw conversions
+### 10.2.16 Implicit throw conversions
 
 While throw expressions do not have a type, they may be implicitly converted to any type.
 

standard/expressions.md

@@ -2878,7 +2878,7 @@ default_literal
     ;
 ```
 
-A *default_literal* represents a default value ([§9.3](variables.md#93-default-values)). It does not have a type, but can be converted to any type through a default literal conversion (§default-literal-new-clause).
+A *default_literal* represents a default value ([§9.3](variables.md#93-default-values)). It does not have a type, but can be converted to any type through a default literal conversion ([§10.2.15](conversions.md#10215-default-literal-conversions)).
 
 The result of a *default_value_expression* is the default ([§9.3](variables.md#93-default-values)) of the explicit type in an *explictly_typed_default*, or the target type of the conversion for a *default_value_expression*.
 

standard/grammar.md

@@ -1060,9 +1060,18 @@ unchecked_expression
 
 // Source: §11.7.19 Default value expressions
 default_value_expression
+    : explictly_typed_default
+    | default_literal
+    ;
+
+explictly_typed_default
     : 'default' '(' type ')'
     ;
 
+default_literal
+    : 'default'
+    ;
+
 // Source: §11.7.20 Nameof expressions
 nameof_expression
     : 'nameof' '(' named_entity ')'