diff options
| author | Ben Lewis <benlewisj@gmail.com> | 2020-01-26 19:37:32 +1300 |
|---|---|---|
| committer | Ben Lewis <benlewisj@gmail.com> | 2020-02-20 19:51:45 +1300 |
| commit | ea18cd7c6473df1e0de19a36ecb81165ada721ab (patch) | |
| tree | 35cc855f273bcbbd0e4a5e47403ac7af1626cf07 | |
| parent | b8523fd0ec19a70e9d02954d1e6e3145746b63d7 (diff) | |
| download | rust-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.rs | 4 |
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`. |
