diff options
| author | bors <bors@rust-lang.org> | 2023-09-05 01:09:48 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-05 01:09:48 +0000 |
| commit | 9c609ae158aab27f1e7df446de6f2c09414012a9 (patch) | |
| tree | 2d66b2f8985fa6d88c6ed51fe2d85cbc9fb67175 /compiler/rustc_codegen_llvm/src | |
| parent | 04374cd74264b9d3b7d2d3df08ae38df8af4d020 (diff) | |
| parent | 07fc6441327a02dd8aa8497b1e4e890f1801e8cf (diff) | |
| download | rust-9c609ae158aab27f1e7df446de6f2c09414012a9.tar.gz rust-9c609ae158aab27f1e7df446de6f2c09414012a9.zip | |
Auto merge of #115467 - compiler-errors:assoc-ty-object-safety, r=oli-obk
Do not require associated types with Self: Sized to uphold bounds when confirming object candidate RPITITs and associated types that have `Self: Sized` bounds are opted out of the `dyn Trait` well-formedness check that happens during confirmation. This ensures that we can actually *use* `dyn Trait`s that have associated types that, e.g., have GATs and RPITITs and other naughty things as long as those are opted-out of object safety via a `Self: Sized` bound. Fixes #115464 This seems like a natural part of https://github.com/rust-lang/rust/pull/112319#issuecomment-1592574451, and I don't think needs re-litigation. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions