about summary refs log tree commit diff
diff options
context:
space:
mode:
authorBen Lewis <benlewisj@gmail.com>2020-01-26 19:37:32 +1300
committerBen Lewis <benlewisj@gmail.com>2020-02-20 19:51:45 +1300
commitea18cd7c6473df1e0de19a36ecb81165ada721ab (patch)
tree35cc855f273bcbbd0e4a5e47403ac7af1626cf07
parentb8523fd0ec19a70e9d02954d1e6e3145746b63d7 (diff)
downloadrust-ea18cd7c6473df1e0de19a36ecb81165ada721ab.tar.gz
rust-ea18cd7c6473df1e0de19a36ecb81165ada721ab.zip
Change FIXME message to indicate plan to handle inference variables within this code path.
-rw-r--r--src/librustc/ty/sty.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc/ty/sty.rs b/src/librustc/ty/sty.rs
index 9cf61ebe88a..3e0c8e23302 100644
--- a/src/librustc/ty/sty.rs
+++ b/src/librustc/ty/sty.rs
@@ -2488,8 +2488,8 @@ impl<'tcx> Const<'tcx> {
                 // HACK(eddyb) when substs contain e.g. inference variables,
                 // attempt using identity substs instead, that will succeed
                 // when the expression doesn't depend on any parameters.
-                // FIXME(eddyb) make `const_eval` a canonical query instead,
-                // 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.
                 if substs.has_local_value() {
                     let identity_substs = InternalSubsts::identity_for_item(tcx, did);
                     // The `ParamEnv` needs to match the `identity_substs`.