Auto merge of #116033 - bvanjoi:fix-116032, r=petrochenkov

bors · bors · commit d5bf53b454ca · 2023-10-23T20:24:09.000Z
report `unused_import` for empty reexports even it is pub Fixes #116032 An easy fix. r? `@petrochenkov` (Discovered this issue while reviewing #115993.)
diff --git a/src/config/options.rs b/src/config/options.rs
@@ -1,3 +1,5 @@
+#![allow(unused_imports)]
+
 use std::collections::{hash_set, HashSet};
 use std::fmt;
 use std::path::{Path, PathBuf};

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+#![allow(unused_imports)]`
	`2`	`+`
`1`	`3`	`use std::collections::{hash_set, HashSet};`
`2`	`4`	`use std::fmt;`
`3`	`5`	`use std::path::{Path, PathBuf};`