Skip to content

Comments

Remove driver_lint_caps#152852

Open
bjorn3 wants to merge 1 commit intorust-lang:mainfrom
bjorn3:remove_driver_lint_caps
Open

Remove driver_lint_caps#152852
bjorn3 wants to merge 1 commit intorust-lang:mainfrom
bjorn3:remove_driver_lint_caps

Conversation

@bjorn3
Copy link
Member

@bjorn3 bjorn3 commented Feb 19, 2026

It was only used by rustdoc and doesn't seem like it was necessary there. No tests fail at least.

r? rust-lang/rustdoc

@bjorn3 bjorn3 added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Feb 19, 2026
@rustbot
Copy link
Collaborator

rustbot commented Feb 19, 2026

The rustc-dev-guide subtree was changed. If this PR only touches the dev guide consider submitting a PR directly to rust-lang/rustc-dev-guide otherwise thank you for updating the dev guide with your changes.

cc @BoxyUwU, @jieyouxu, @Kobzol, @tshepang

@rustbot rustbot added A-rustc-dev-guide Area: rustc-dev-guide S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 19, 2026
@rust-log-analyzer

This comment has been minimized.

@bjorn3 bjorn3 force-pushed the remove_driver_lint_caps branch from d66dd3d to 2aa9c6c Compare February 19, 2026 14:01
@rust-bors

This comment has been minimized.

It was only used by rustdoc and doesn't seem like it was necessary
there. No tests fail at least.
@bjorn3 bjorn3 force-pushed the remove_driver_lint_caps branch from 2aa9c6c to baef897 Compare February 21, 2026 11:52
@rustbot
Copy link
Collaborator

rustbot commented Feb 21, 2026

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-rustc-dev-guide Area: rustc-dev-guide 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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants