diff options
| author | bors <bors@rust-lang.org> | 2024-09-30 00:30:09 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-09-30 00:30:09 +0000 |
| commit | 4e91cedaedba39d06748c5873347f1a7341937ae (patch) | |
| tree | 1ba682c30dc4fe0d9ee7eb9601e508f1377c4de5 /compiler/rustc_interface/src | |
| parent | 0d6e13019609d8fa27cb4fafa7878c9e09279e14 (diff) | |
| parent | 7c2a24b50c48c9716a88e3053064a7d4470b011f (diff) | |
| download | rust-4e91cedaedba39d06748c5873347f1a7341937ae.tar.gz rust-4e91cedaedba39d06748c5873347f1a7341937ae.zip | |
Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-errors
properly elaborate effects implied bounds for super traits Summary: This PR makes it so that we elaborate `<T as Tr>::Fx: EffectsCompat<somebool>` into `<T as SuperTr>::Fx: EffectsCompat<somebool>` when we know that `trait Tr: ~const SuperTr`. Some discussion at https://github.com/rust-lang/project-const-traits/issues/2. r? project-const-traits `@rust-lang/project-const-traits:` how do we feel about this approach?
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions