diff options
| author | bors <bors@rust-lang.org> | 2024-01-16 13:33:04 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-16 13:33:04 +0000 |
| commit | 533cfde67caa9c15cc01a685d247bb92ace96e81 (patch) | |
| tree | 7ea6f4d5abd6e51adf70accd94b39cbdd751090d /library/std/src/io/stdio.rs | |
| parent | fa0dc208d0a34027c1d3cca7d47975d8238bcfde (diff) | |
| parent | 985e1e031b0d9d7c54812931c2beb57b0d304a94 (diff) | |
| download | rust-533cfde67caa9c15cc01a685d247bb92ace96e81.tar.gz rust-533cfde67caa9c15cc01a685d247bb92ace96e81.zip | |
Auto merge of #119947 - compiler-errors:old-solver-instantiate-response, r=lcnr
Make sure to instantiate placeholders correctly in old solver When creating the query substitution guess for an input placeholder type like `!1_T` (in universe 1), we were guessing the response substitution with something like `!0_T`. This failed to unify with `!1_T`, causing an ICE. This PR reworks the query substitution guess code to work a bit more like the new solver. I'm *pretty* sure this is correct, though I'd really appreciate some scrutiny from someone (*cough* lcnr) who knows a bit more about query instantiation :) Fixes #119941 r? lcnr
Diffstat (limited to 'library/std/src/io/stdio.rs')
0 files changed, 0 insertions, 0 deletions