diff options
| author | bors <bors@rust-lang.org> | 2023-02-18 23:43:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-02-18 23:43:42 +0000 |
| commit | f77f4d55bdf9d8955d3292f709bd9830c2fdeca5 (patch) | |
| tree | 8ef819b2d4aee538acea007ab9991b6ecba36176 /tests/rustdoc-js-std/parser-errors.js | |
| parent | 4507fdaaa27ea2fb59a41df2ce7d1f290da53dae (diff) | |
| parent | 789e8283dd7305c95b65672bb21712a69b31e677 (diff) | |
| download | rust-f77f4d55bdf9d8955d3292f709bd9830c2fdeca5.tar.gz | |
Auto merge of #107542 - compiler-errors:param-envs-with-inference-vars-are-cursed, r=jackh726
Don't call `with_reveal_all_normalized` in const-eval when `param_env` has inference vars in it
**what:** This slightly shifts the order of operations from an existing hack:
https://github.com/rust-lang/rust/blob/5b6ed253c42a69b93e7447fb0874a89ab6bc1cfb/compiler/rustc_middle/src/ty/consts/kind.rs#L225-L230
in order to avoid calling a tcx query (`TyCtxt::reveal_opaque_types_in_bounds`, via `ParamEnv::with_reveal_all_normalized`) when a param-env has inference variables in it.
**why:** This allows us to enable fingerprinting of query keys/values outside of incr-comp in deubg mode, to make sure we catch other places where we're passing infer vars and other bad things into query keys. Currently that (bbf33836b9adfe4328aefa108c421e670a3923b7) crashes because we introduce inference vars into a param-env in the blanket-impl finder in rustdoc :sweat:
https://github.com/rust-lang/rust/blob/5b6ed253c42a69b93e7447fb0874a89ab6bc1cfb/src/librustdoc/clean/blanket_impl.rs#L43
See the CI failure here: https://github.com/rust-lang/rust/actions/runs/4058194838/jobs/6984834619
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions