Trait VirtualStaticFieldWithDelegatedBounds

pub trait VirtualStaticFieldWithDelegatedBounds<T, Provider, Discriminant = ()>: VirtualStaticField<Discriminant, Some = T> + DelegateVirtualStaticBound<Provider, Discriminant>
where
    Provider: VirtualStaticBound<Discriminant>,
    Discriminant: DiscriminantTag,
{ }

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

This composes:

• VirtualStaticField - defines storage and representation
• DelegateVirtualStaticBound - supplies bounds externally

Semantics

• Container (Self)

  • provides storage for values of type T

• Bounds (Provider)

  • supplies compile-time capacity constraints

• Caller

  • selects field shape (None, Some, Many)

Representation

Bounds are compile-time constants:

• encoded directly in the type system (usize)
• enable fixed-size, array-like behavior

This ensures fully static, zero-overhead representations.

Default Discriminant

• Discriminant = (): applies a single default bounded field, meaning one statically 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> VirtualStaticFieldWithDelegatedBounds<T, Provider, Discriminant> for U

where U: VirtualStaticField<Discriminant, Some = T> + DelegateVirtualStaticBound<Provider, Discriminant>, Provider: VirtualStaticBound<Discriminant>, Discriminant: DiscriminantTag,

Blanket implementation for any compatible container.