units: replace wildcard import with specific imports in verification
What the developer wrote
Authored by Daniel
units: replace wildcard import with specific imports in verification
What changed, and why it matters
This commit is a minor code-style cleanup in a Rust Bitcoin library. It changes one line in a verification test file, replacing a wildcard import ('use super::*') with two specific imports ('use super::{Amount, SignedAmount}'). There is no functional change to the library, no bug fix, and no security relevance.
No action required. This is a non-security refactoring change.
Security signals we found
No strong security signals were identified.
Evidence from the diff
In units/src/amount/verification.rs, the wildcard import use super::*; is replaced by explicit imports use super::{Amount, SignedAmount};. The file is used for Kani formal-verification harnesses. The change narrows the imported namespace but does not alter behavior, types, or logic. It is purely a lint/style/refactoring change.
Changed components
units/src/amount/verification.rsInspect captured patch +1 / −1
diff --git a/units/src/amount/verification.rs b/units/src/amount/verification.rs
index f8c98860..1696f4e2 100644
--- a/units/src/amount/verification.rs
+++ b/units/src/amount/verification.rs
@@ -4,7 +4,7 @@
use std::cmp;
-use super::*;
+use super::{Amount, SignedAmount};
// Note regarding the `unwind` parameter: this defines how many iterations
// of loops kani will unwind before handing off to the SMT solver. Basically
Why this scored 15/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.