Trait AddressInput 

pub trait AddressInput<'a>:
    ConstrainedTypeShape
    + IntoBindingValue<'a>
    + PartitionProductFields
    + Sized { }

The common input marker — every realization’s typed-input handle implements this. It bundles the foundation bounds a model Input must satisfy so the handle can flow through run_route as an ADR-060 carrier:

• [ConstrainedTypeShape] — the constraint geometry (ADR-001/017).
• [IntoBindingValue]<'a> — as_binding_value returns the canonical-form TermValue carrier (ADR-023 amended by ADR-060). The realization canonicalizes here; ψ₉ only folds.
• [PartitionProductFields] — the nerve resolver’s field surface.

The realization’s host-boundary parser (its own parse/address function) builds the handle from raw bytes, validating the format’s typed-input grammar before the typed-iso surface.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, T> AddressInput<'a> for T

where T: ConstrainedTypeShape + IntoBindingValue<'a> + PartitionProductFields + Sized,