diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-15 15:37:39 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-15 15:37:39 +0800 |
| commit | 7620fd1d1e9ff4105c2d93c80c73b2c2ec1cbc9a (patch) | |
| tree | 4d4d8985a4e98044aed7acfab7bafadfada7de2e /mingling_picker/src/pickable.rs | |
| parent | 2636b92bb475eae00790511d0068126fd0884fbf (diff) | |
refactor: remove unnecessary `Default` bound from `Pickable` trait
Diffstat (limited to 'mingling_picker/src/pickable.rs')
| -rw-r--r-- | mingling_picker/src/pickable.rs | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/mingling_picker/src/pickable.rs b/mingling_picker/src/pickable.rs index 9d3f054..8bb012a 100644 --- a/mingling_picker/src/pickable.rs +++ b/mingling_picker/src/pickable.rs @@ -18,7 +18,7 @@ mod implements; /// * `'a` - Lifetime parameter, used to associate references in [`PickerFlag`]. pub trait Pickable<'a> where - Self: Sized + Default, + Self: Sized, { /// Returns the parse-order attribute of this flag. /// @@ -78,11 +78,4 @@ pub struct TagPhaseContext<'a> { /// A read-only list of all arguments in the current [`Picker`]. pub args: &'a PickerArgs<'a>, - - /// Availability mask, recording positions already occupied by other `Pickable` tags. - /// - /// `mask.len()` equals `args.len()`. Where: - /// - `0` means the position is currently available (unoccupied); - /// - `1` means the position is already occupied and cannot be used again. - pub mask: &'a [usize], } |
