Trait VirtualDynFieldWithDelegatedBounds

pub trait VirtualDynFieldWithDelegatedBounds<T, Provider, Discriminant = ()>: VirtualDynField<Discriminant, Some = T> + DelegateVirtualDynBound<Provider, Discriminant>
where
    Provider: VirtualDynBound<Discriminant>,
    Discriminant: DiscriminantTag,
{ }

Constraint describing a virtual field whose bounds are delegated to an external VirtualDynBound provider.

This composes:

• VirtualDynField - defines storage and representation
• DelegateVirtualDynBound - supplies bounds externally

Semantics

• Container (Self)

  • provides storage for values of type T

• Bounds (Provider)

  • supplies capacity constraints

• Caller

  • selects field shape (None, Some, Many)

Representation

Bounds are resolved dynamically:

• provided via [Get<u32>]
• enable flexible, vector-like behavior within limits

This allows storage and constraints to remain decoupled.

Default Discriminant

• Discriminant = (): applies a single default bounded field, meaning one dynamically bounded field is assumed.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T, Provider, Discriminant, U> VirtualDynFieldWithDelegatedBounds<T, Provider, Discriminant> for U

where U: VirtualDynField<Discriminant, Some = T> + DelegateVirtualDynBound<Provider, Discriminant>, Provider: VirtualDynBound<Discriminant>, Discriminant: DiscriminantTag,

Blanket implementation for any compatible container.