Skip to content

new lint: unnecessary_path_exists#17331

Open
davidh167 wants to merge 5 commits into
rust-lang:masterfrom
davidh167:feat/linter-Path-metadata-after-Path-exists
Open

new lint: unnecessary_path_exists#17331
davidh167 wants to merge 5 commits into
rust-lang:masterfrom
davidh167:feat/linter-Path-metadata-after-Path-exists