Skip to content

internal: decide not to use 'db in NavigationTarget.docs#22576

Merged
ChayimFriedman2 merged 1 commit into
rust-lang:masterfrom
ada4a:push-ruukzxtqxvxv
Jun 17, 2026
Merged

internal: decide not to use 'db in NavigationTarget.docs#22576
ChayimFriedman2 merged 1 commit into
rust-lang:masterfrom
ada4a:push-ruukzxtqxvxv

Conversation

@ada4a

@ada4a ada4a commented Jun 12, 2026

Copy link
Copy Markdown
Contributor

Supersedes #22470, as per #22470 (comment)

cc @ChayimFriedman2 since you were the one who added the FIXME
cc @Veykril since you reviewed the original PR

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 12, 2026
@ChayimFriedman2

Copy link
Copy Markdown
Contributor

I do not want to commit to not doing that, since we may need that anyway because of more lifetime annotations we need to add (e.g. #22548).

So I agree to remove the FIXME, but not to add another comment instead.

@ada4a ada4a force-pushed the push-ruukzxtqxvxv branch from ffa53f8 to 55baa89 Compare June 17, 2026 11:02
@ada4a

ada4a commented Jun 17, 2026

Copy link
Copy Markdown
Contributor Author

Removed the note

@ChayimFriedman2 ChayimFriedman2 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ChayimFriedman2 ChayimFriedman2 added this pull request to the merge queue Jun 17, 2026
Merged via the queue into rust-lang:master with commit d580e2a Jun 17, 2026
18 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants