diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-10 16:52:19 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-10 16:52:19 +0800 |
| commit | 02e07a18fcb3af9319c271f6e41d5b7785e2e436 (patch) | |
| tree | ff76916c254e87a7aadc5cb4dfd2134eaf4f03fc /arg_picker/src/lib.rs | |
| parent | 03b487f0f93ac32835149d4c1a0fb420341134f8 (diff) | |
style: satisfy clippy pedantic and nursery lints
Diffstat (limited to 'arg_picker/src/lib.rs')
| -rw-r--r-- | arg_picker/src/lib.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/arg_picker/src/lib.rs b/arg_picker/src/lib.rs index d292826..06ae959 100644 --- a/arg_picker/src/lib.rs +++ b/arg_picker/src/lib.rs @@ -1,5 +1,9 @@ #![doc = include_str!("../README.md")] #![deny(missing_docs)] +#![deny(clippy::pedantic)] +#![deny(clippy::nursery)] +// Some code requires wildcard imports to reduce boilerplate code +#![allow(clippy::wildcard_imports)] mod builtin; |