Skip to content

rustdoc: synthetic auto trait impls: accept unresolved region vars for now - #123375

Merged
bors merged 1 commit into
rust-lang:masterfrom
fmease:rustdoc-sati-re-hotfix
Apr 2, 2024
Merged

rustdoc: synthetic auto trait impls: accept unresolved region vars for now#123375
bors merged 1 commit into
rust-lang:masterfrom
fmease:rustdoc-sati-re-hotfix

Conversation

@fmease

@fmeasefmease commented Apr 2, 2024

Copy link
Copy Markdown
Member

#123348 (comment):

Right, [in #123340] I've intentionally changed a vid_map.get(vid).unwrap_or(r) to a vid_map[vid] making rustdoc panic if rustc::AutoTraitFinder returns a region inference variable that cannot be resolved because that is really fishy. I can change it back with a FIXME: investigate […]. [O]nce I [fully] understand [the arcane] rustc::AutoTraitFinder [I] can fix the underlying issue if there's one.

rustc::AutoTraitFinder can also return placeholder regions RePlaceholder which doesn't seem right either and which makes rustdoc ICE, too (we have a GitHub issue for that already[, namely #120606]).

Fixes#123370.
Fixes#112242.

r? @GuillaumeGomez

@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Apr 2, 2024
@GuillaumeGomez

Copy link
Copy Markdown
Member

Thanks for the quick fix! r=me once CI pass

@fmease

Copy link
Copy Markdown
MemberAuthor

@bors r=GuillaumeGomez rollup

@bors

bors commented Apr 2, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit 70b4ace has been approved by GuillaumeGomez

It is now in the queue for this repository.

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 2, 2024
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Apr 2, 2024
…uillaumeGomez
rustdoc: synthetic auto trait impls: accept unresolved region vars for now
rust-lang#123348 (comment):
> Right, [in rust-lang#123340] I've intentionally changed a `vid_map.get(vid).unwrap_or(r)` to a `vid_map[vid]` making rustdoc panic if `rustc::AutoTraitFinder` returns a region inference variable that cannot be resolved because that is really fishy. I can change it back with a `FIXME: investigate` […]. [O]nce I [fully] understand [the arcane] `rustc::AutoTraitFinder` [I] can fix the underlying issue if there's one.
>
> `rustc::AutoTraitFinder` can also return placeholder regions `RePlaceholder` which doesn't seem right either and which makes rustdoc ICE, too (we have a GitHub issue for that already[, namely rust-lang#120606]).
Fixesrust-lang#123370.
Fixesrust-lang#112242.
r? `@GuillaumeGomez`
This was referenced Apr 2, 2024
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 2, 2024
…iaskrgr
Rollup of 8 pull requests
Successful merges:
- rust-lang#123198 (Add fn const BuildHasherDefault::new)
- rust-lang#123226 (De-LLVM the unchecked shifts [MCP#693])
- rust-lang#123302 (Make sure to insert `Sized` bound first into clauses list)
- rust-lang#123348 (rustdoc: add a couple of regression tests)
- rust-lang#123362 (Check that nested statics in thread locals are duplicated per thread.)
- rust-lang#123368 (CFI: Support non-general coroutines)
- rust-lang#123375 (rustdoc: synthetic auto trait impls: accept unresolved region vars for now)
- rust-lang#123378 (Update sysinfo to 0.30.8)
Failed merges:
- rust-lang#123349 (Fix capture analysis for by-move closure bodies)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 8e271d7 into rust-lang:masterApr 2, 2024
@rustbotrustbot added this to the 1.79.0 milestone Apr 2, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Apr 2, 2024
Rollup merge of rust-lang#123375 - fmease:rustdoc-sati-re-hotfix, r=GuillaumeGomez
rustdoc: synthetic auto trait impls: accept unresolved region vars for now
rust-lang#123348 (comment):
> Right, [in rust-lang#123340] I've intentionally changed a `vid_map.get(vid).unwrap_or(r)` to a `vid_map[vid]` making rustdoc panic if `rustc::AutoTraitFinder` returns a region inference variable that cannot be resolved because that is really fishy. I can change it back with a `FIXME: investigate` […]. [O]nce I [fully] understand [the arcane] `rustc::AutoTraitFinder` [I] can fix the underlying issue if there's one.
>
> `rustc::AutoTraitFinder` can also return placeholder regions `RePlaceholder` which doesn't seem right either and which makes rustdoc ICE, too (we have a GitHub issue for that already[, namely rust-lang#120606]).
Fixesrust-lang#123370.
Fixesrust-lang#112242.
r? ``@GuillaumeGomez``
@fmease
fmease deleted the rustdoc-sati-re-hotfix branch April 2, 2024 23:50
tamird added a commit to tamird/aya that referenced this pull request Apr 3, 2024
Auto trait bounds have changed in one of:
- rust-lang/rust#123340.
- rust-lang/rust#123375.
@tamirdtamird mentioned this pull request Apr 3, 2024
tamird added a commit to aya-rs/aya that referenced this pull request Apr 3, 2024
Auto trait bounds have changed in one of:
- rust-lang/rust#123340.
- rust-lang/rust#123375.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

rustdoc: ICE: IndexMap: key not found rustdoc: ICE: synthetic auto trait impls: index out of bounds, snapshot vec using -Znormalize-docs

4 participants

@fmease@GuillaumeGomez@bors@rustbot