New upstream version 1.53.0+dfsg1

[rustc.git] / src / doc / reference / src / const_eval.md

diff --git a/src/doc/reference/src/const_eval.md b/src/doc/reference/src/const_eval.md
index 4f67165300e4b372e28f77db2579a1c05a4e623d..4874a7372461642d9c0ce4fd7ba380c7db12dc3f 100644 (file)
--- a/src/doc/reference/src/const_eval.md
+++ b/src/doc/reference/src/const_eval.md
@@ -59,6 +59,7 @@ A _const context_ is one of the following:
   * [constants]
   * [statics]
   * [enum discriminants]
+* A [const generic argument]
 
 ## Const Functions
 
@@ -96,7 +97,8 @@ Notable features that const contexts have, but const fn haven't are:
 
 Conversely, the following are possible in a const function, but not in a const context:
 
-* Use of generic parameters.
+* Use of generic type and lifetime parameters.
+  * Const contexts do allow limited use of [const generic parameters].
 
 [arithmetic]:           expressions/operator-expr.md#arithmetic-and-logical-binary-operators
 [array expressions]:    expressions/array-expr.md
@@ -111,6 +113,8 @@ Conversely, the following are possible in a const function, but not in a const c
 [closure expressions]:  expressions/closure-expr.md
 [comparison]:           expressions/operator-expr.md#comparison-operators
 [const functions]:      items/functions.md#const-functions
+[const generic argument]: items/generics.md#const-generics
+[const generic parameters]: items/generics.md#const-generics
 [constants]:            items/constant-items.md
 [Const parameters]:     items/generics.md
 [dereference operator]: expressions/operator-expr.md#the-dereference-operator