diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-01-28 05:20:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-28 05:20:19 +0100 |
| commit | ab769a0bac7e20549caa451742331674c940eed5 (patch) | |
| tree | 780a847a7957cbcac2a7d57c204f4d7f0beee0e1 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | a5caa989c94f0a0ca3f977b013a1a7c2c2c5c3a0 (diff) | |
| parent | 8a0b2156d5b899f740f128dfeb6090e0f408d33b (diff) | |
| download | rust-ab769a0bac7e20549caa451742331674c940eed5.tar.gz rust-ab769a0bac7e20549caa451742331674c940eed5.zip | |
Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr
Minor tweaks in the new solver 1. `InferCtxt::probe` is not needed in `compute_subtype_goal` and `compute_well_formed_goal`. 2. Add a handful of comments. 3. Add a micro-optimization in `consider_assumption` where we check the def-ids of the assumption and goal match before instantiating any binders. r? ``@lcnr``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions