diff options
| author | bors <bors@rust-lang.org> | 2023-08-13 05:18:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-13 05:18:27 +0000 |
| commit | 7455aa5395bbe6297be4e91797d00de77d990311 (patch) | |
| tree | 3327abc844af3371f4cf85afa03fc0240eb9c8cc /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp | |
| parent | cb0c29978bcf2ac32df89a77fb894bf6304002c1 (diff) | |
| parent | 51762886f6833a7ccafb47a95b0c93c11c80e08c (diff) | |
| download | rust-7455aa5395bbe6297be4e91797d00de77d990311.tar.gz rust-7455aa5395bbe6297be4e91797d00de77d990311.zip | |
Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors
normalize in `trait_ref_is_knowable` in new solver fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/51 Alternatively we could avoid normalizing the self type and do this at the end of the `assemble_candidates_via_self_ty` stack by splitting candidates into: - applicable without normalizing self type - applicable for aliases, even if they can be normalized - applicable for stuff which cannot get normalized further I don't think this would have any significant benefits and it also seems non-trivial to avoid normalizing only the self type in `trait_ref_is_knowable`. r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions