Skip to content

Remove driver_lint_caps - #152852

Open
bjorn3 wants to merge 5 commits into
rust-lang:mainfrom
bjorn3:remove_driver_lint_caps
Open

Remove driver_lint_caps#152852
bjorn3 wants to merge 5 commits into
rust-lang:mainfrom
bjorn3:remove_driver_lint_caps

Revert "Allow elided_lifetimes_in_paths in doctests for rustc_backed_…

2e93513
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 17, 2026 in 36s