Skip to content

lint: add bad opt access internal lint#99710

Merged
bors merged 3 commits into
rust-lang:masterfrom
davidtwco:internal-lint-opts
Jul 27, 2022
Merged

lint: add bad opt access internal lint#99710
bors merged 3 commits into
rust-lang:masterfrom
davidtwco:internal-lint-opts

lint: add bad opt access internal lint

7bab769
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs