about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/util.rs
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2023-09-25 15:46:38 +0200
committerlcnr <rust@lcnr.de>2023-09-26 09:37:55 +0200
commit3c52a3e280a5fd1e8e4b48a5ec349aa00dcd859c (patch)
treea3fba4b376549219f6c14cb165be2009d3236207 /compiler/rustc_const_eval/src/interpret/util.rs
parentaf685931799459879b2a8995524755a06ffb5eec (diff)
downloadrust-3c52a3e280a5fd1e8e4b48a5ec349aa00dcd859c.tar.gz
rust-3c52a3e280a5fd1e8e4b48a5ec349aa00dcd859c.zip
subst -> instantiate
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret/util.rs')
-rw-r--r--compiler/rustc_const_eval/src/interpret/util.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/util.rs b/compiler/rustc_const_eval/src/interpret/util.rs
index b3319442388..eb639ded70f 100644
--- a/compiler/rustc_const_eval/src/interpret/util.rs
+++ b/compiler/rustc_const_eval/src/interpret/util.rs
@@ -4,7 +4,7 @@ use rustc_middle::ty::{
 };
 use std::ops::ControlFlow;
 
-/// Checks whether a type contains generic parameters which require substitution.
+/// Checks whether a type contains generic parameters which must be instantiated.
 ///
 /// In case it does, returns a `TooGeneric` const eval error. Note that due to polymorphization
 /// types may be "concrete enough" even though they still contain generic parameters in
@@ -43,7 +43,8 @@ where
                             .try_into()
                             .expect("more generic parameters than can fit into a `u32`");
                         // Only recurse when generic parameters in fns, closures and generators
-                        // are used and require substitution.
+                        // are used and have to be instantiated.
+                        //
                         // Just in case there are closures or generators within this subst,
                         // recurse.
                         if unused_params.is_used(index) && subst.has_param() {