We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b8523fd commit ea18cd7Copy full SHA for ea18cd7
src/librustc/ty/sty.rs
@@ -2488,8 +2488,8 @@ impl<'tcx> Const<'tcx> {
2488
// HACK(eddyb) when substs contain e.g. inference variables,
2489
// attempt using identity substs instead, that will succeed
2490
// when the expression doesn't depend on any parameters.
2491
- // FIXME(eddyb) make `const_eval` a canonical query instead,
2492
- // that would properly handle inference variables in `substs`.
+ // FIXME(eddyb, skinny121) pass `InferCtxt` into here when it's available, so that
+ // we can call `infcx.const_eval_resolve` which handles inference variables.
2493
if substs.has_local_value() {
2494
let identity_substs = InternalSubsts::identity_for_item(tcx, did);
2495
// The `ParamEnv` needs to match the `identity_substs`.
0 commit comments