Not seeing the forest because there are too many trees in the way

diff --git a/src/librustc_mir/const_eval.rs b/src/librustc_mir/const_eval.rs
index 594496fe9722ceb4c2914c286bb4640a6ffbc773..d79e0a817eeeda9129733123cc9166d92373acac 100644 (file)
--- a/src/librustc_mir/const_eval.rs
+++ b/src/librustc_mir/const_eval.rs
@@ -90,7 +90,7 @@ fn mk_eval_cx_inner<'a, 'mir, 'tcx>(
 /// The function containing the `match` that is currently being analyzed may have generic bounds
 /// that inform us about the generic bounds of the constant. E.g. using an associated constant
 /// of a function's generic parameter will require knowledge about the bounds on the generic
-/// parameter.
+/// parameter. These bounds are passed to `mk_eval_cx` via the `ParamEnv` argument.
 fn mk_eval_cx<'a, 'tcx>(
     tcx: TyCtxt<'a, 'tcx, 'tcx>,
     instance: Instance<'tcx>,