diff options
| author | bors <bors@rust-lang.org> | 2024-01-14 06:37:15 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-14 06:37:15 +0000 |
| commit | 0dab65b8a112dff83147f95c9ae1cbe75327b5e4 (patch) | |
| tree | 01dd868928b3857623e88888a6827de781f17fe5 /compiler/rustc_mir_transform/src | |
| parent | aa5f781bd42340fe4f2eb4d68d2984454f600b78 (diff) | |
| parent | 7724ba7bd5f2c947a7dc561c24b19bb8409a6ed6 (diff) | |
| download | rust-0dab65b8a112dff83147f95c9ae1cbe75327b5e4.tar.gz rust-0dab65b8a112dff83147f95c9ae1cbe75327b5e4.zip | |
Auto merge of #119934 - compiler-errors:could-impl, r=jackh726
Make `InferCtxtExt::could_impl_trait` more precise, less ICEy The implementation for `InferCtxtExt::could_impl_trait` was very wrong. Along with being pretty poorly named, way too specific to ADTs, it was also doing impl substitution wrong -- this caused an ICE (#119915). This PR generalizes that code, gives it a clearer name, makes it stop using the new trait solver (lol), and fixes some fallout bad suggestions that are made worse with the code fix. Fixes #119915
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions