diff options
| author | bors <bors@rust-lang.org> | 2025-03-13 05:37:55 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-03-13 05:37:55 +0000 |
| commit | 961351c76c812e3aeb65bfb542742500a6436aed (patch) | |
| tree | bf78bb00169d1d90ecc68bf24cc3a882bfe911d8 /src/librustdoc/html/static/js/src-script.js | |
| parent | 8536f201ffdb2c24925d7f9e87996d7dca93428b (diff) | |
| parent | 3129802f902c361aa5ed2f7c44a7e5c892c8a37a (diff) | |
| download | rust-961351c76c812e3aeb65bfb542742500a6436aed.tar.gz rust-961351c76c812e3aeb65bfb542742500a6436aed.zip | |
Auto merge of #138249 - compiler-errors:auto-self, r=lcnr
Do not register `Self: AutoTrait` when confirming auto trait (in old solver) Every built-in auto impl for a trait goal like `Ty: Auto` immediately registers another obligation of `Ty: Auto` as one of its nested obligations, leading to us stressing the cycle detection machinery a lot more than we need to. This is because all traits have a `Self: Trait` predicate. To fix this, remove the call to `impl_or_trait_obligations` in `vtable_auto_impl`, since auto traits do not have where clauses. r? lcnr
Diffstat (limited to 'src/librustdoc/html/static/js/src-script.js')
0 files changed, 0 insertions, 0 deletions