pub unsafe trait RustSpec {
type Layout;
type Size;
type Alignment;
type Trap;
type Niche;
}Expand description
Joined Rust-spec classification of a type.
This is the canonical surface for Rust-specified properties used by conversion.
§Safety
Implementors must classify Self truthfully. In particular, Self::Size
carries the same safety requirements documented by the size marker types.
Required Associated Types§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
Implementations on Foreign Types§
Source§impl RustSpec for Infallible
impl RustSpec for Infallible
Source§impl RustSpec for PhantomPinned
impl RustSpec for PhantomPinned
Source§impl<'_lšč0, _TŠČ0> RustSpec for &'_lšč0 _TŠČ0
impl<'_lšč0, _TŠČ0> RustSpec for &'_lšč0 _TŠČ0
type Layout = <&'_lšč0 _TŠČ0 as RustSpec0<<_TŠČ0 as RustSpec>::Size>>::Layout_šč
type Size = <&'_lšč0 _TŠČ0 as RustSpec0<<_TŠČ0 as RustSpec>::Size>>::Size_šč
type Alignment = <&'_lšč0 _TŠČ0 as RustSpec0<<_TŠČ0 as RustSpec>::Size>>::Alignment_šč
type Trap = <&'_lšč0 _TŠČ0 as RustSpec0<<_TŠČ0 as RustSpec>::Size>>::Trap_šč
type Niche = <&'_lšč0 _TŠČ0 as RustSpec0<<_TŠČ0 as RustSpec>::Size>>::Niche_šč
Source§impl<'_lšč0, _TŠČ0> RustSpec for &'_lšč0 mut _TŠČ0
impl<'_lšč0, _TŠČ0> RustSpec for &'_lšč0 mut _TŠČ0
type Layout = <&'_lšč0 mut _TŠČ0 as RustSpec1<<_TŠČ0 as RustSpec>::Size>>::Layout_šč
type Size = <&'_lšč0 mut _TŠČ0 as RustSpec1<<_TŠČ0 as RustSpec>::Size>>::Size_šč
type Alignment = <&'_lšč0 mut _TŠČ0 as RustSpec1<<_TŠČ0 as RustSpec>::Size>>::Alignment_šč
type Trap = <&'_lšč0 mut _TŠČ0 as RustSpec1<<_TŠČ0 as RustSpec>::Size>>::Trap_šč
type Niche = <&'_lšč0 mut _TŠČ0 as RustSpec1<<_TŠČ0 as RustSpec>::Size>>::Niche_šč
Source§impl<A, B, C, D, E, F, G, H, I, J, K, L> RustSpec for (A, B, C, D, E, F, G, H, I, J, K, L)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
I: RustSpec<Size: Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
J: RustSpec<Size: Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>, Alignment: Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>, Trap: Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>, Niche: Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>, Mutability: Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>,
K: RustSpec<Size: Add<<L as RustSpec>::Size>, Alignment: Max<<L as RustSpec>::Alignment>, Trap: Add<<L as RustSpec>::Trap>, Niche: Add<<L as RustSpec>::Niche>, Mutability: Add<<L as RustSpec>::Mutability>, __IndirectTrap: Add<<L as RustSpec>::__IndirectTrap>>,
L: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G, H, I, J, K, L> RustSpec for (A, B, C, D, E, F, G, H, I, J, K, L)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
I: RustSpec<Size: Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<J as RustSpec>::Mutability as Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<J as RustSpec>::__IndirectTrap as Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
J: RustSpec<Size: Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>, Alignment: Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>, Trap: Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>, Niche: Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>, Mutability: Add<<<K as RustSpec>::Mutability as Add<<L as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<K as RustSpec>::__IndirectTrap as Add<<L as RustSpec>::__IndirectTrap>>::Output>>,
K: RustSpec<Size: Add<<L as RustSpec>::Size>, Alignment: Max<<L as RustSpec>::Alignment>, Trap: Add<<L as RustSpec>::Trap>, Niche: Add<<L as RustSpec>::Niche>, Mutability: Add<<L as RustSpec>::Mutability>, __IndirectTrap: Add<<L as RustSpec>::__IndirectTrap>>,
L: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<<K as RustSpec>::Size as Add<<L as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<<K as RustSpec>::Alignment as Max<<L as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<<K as RustSpec>::Trap as Add<<L as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<<K as RustSpec>::Niche as Add<<L as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F, G, H, I, J, K> RustSpec for (A, B, C, D, E, F, G, H, I, J, K)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
I: RustSpec<Size: Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>, Alignment: Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>, Trap: Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>, Niche: Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>, Mutability: Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>,
J: RustSpec<Size: Add<<K as RustSpec>::Size>, Alignment: Max<<K as RustSpec>::Alignment>, Trap: Add<<K as RustSpec>::Trap>, Niche: Add<<K as RustSpec>::Niche>, Mutability: Add<<K as RustSpec>::Mutability>, __IndirectTrap: Add<<K as RustSpec>::__IndirectTrap>>,
K: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G, H, I, J, K> RustSpec for (A, B, C, D, E, F, G, H, I, J, K)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
I: RustSpec<Size: Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>, Alignment: Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>, Trap: Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>, Niche: Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>, Mutability: Add<<<J as RustSpec>::Mutability as Add<<K as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<J as RustSpec>::__IndirectTrap as Add<<K as RustSpec>::__IndirectTrap>>::Output>>,
J: RustSpec<Size: Add<<K as RustSpec>::Size>, Alignment: Max<<K as RustSpec>::Alignment>, Trap: Add<<K as RustSpec>::Trap>, Niche: Add<<K as RustSpec>::Niche>, Mutability: Add<<K as RustSpec>::Mutability>, __IndirectTrap: Add<<K as RustSpec>::__IndirectTrap>>,
K: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<<J as RustSpec>::Size as Add<<K as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<<J as RustSpec>::Alignment as Max<<K as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<<J as RustSpec>::Trap as Add<<K as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<<J as RustSpec>::Niche as Add<<K as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F, G, H, I, J> RustSpec for (A, B, C, D, E, F, G, H, I, J)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>,
I: RustSpec<Size: Add<<J as RustSpec>::Size>, Alignment: Max<<J as RustSpec>::Alignment>, Trap: Add<<J as RustSpec>::Trap>, Niche: Add<<J as RustSpec>::Niche>, Mutability: Add<<J as RustSpec>::Mutability>, __IndirectTrap: Add<<J as RustSpec>::__IndirectTrap>>,
J: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G, H, I, J> RustSpec for (A, B, C, D, E, F, G, H, I, J)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
H: RustSpec<Size: Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>, Alignment: Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>, Trap: Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>, Niche: Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>, Mutability: Add<<<I as RustSpec>::Mutability as Add<<J as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<I as RustSpec>::__IndirectTrap as Add<<J as RustSpec>::__IndirectTrap>>::Output>>,
I: RustSpec<Size: Add<<J as RustSpec>::Size>, Alignment: Max<<J as RustSpec>::Alignment>, Trap: Add<<J as RustSpec>::Trap>, Niche: Add<<J as RustSpec>::Niche>, Mutability: Add<<J as RustSpec>::Mutability>, __IndirectTrap: Add<<J as RustSpec>::__IndirectTrap>>,
J: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<<I as RustSpec>::Size as Add<<J as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<<I as RustSpec>::Alignment as Max<<J as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<<I as RustSpec>::Trap as Add<<J as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<<I as RustSpec>::Niche as Add<<J as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F, G, H, I> RustSpec for (A, B, C, D, E, F, G, H, I)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>,
H: RustSpec<Size: Add<<I as RustSpec>::Size>, Alignment: Max<<I as RustSpec>::Alignment>, Trap: Add<<I as RustSpec>::Trap>, Niche: Add<<I as RustSpec>::Niche>, Mutability: Add<<I as RustSpec>::Mutability>, __IndirectTrap: Add<<I as RustSpec>::__IndirectTrap>>,
I: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G, H, I> RustSpec for (A, B, C, D, E, F, G, H, I)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
G: RustSpec<Size: Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>, Alignment: Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>, Trap: Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>, Niche: Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>, Mutability: Add<<<H as RustSpec>::Mutability as Add<<I as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<H as RustSpec>::__IndirectTrap as Add<<I as RustSpec>::__IndirectTrap>>::Output>>,
H: RustSpec<Size: Add<<I as RustSpec>::Size>, Alignment: Max<<I as RustSpec>::Alignment>, Trap: Add<<I as RustSpec>::Trap>, Niche: Add<<I as RustSpec>::Niche>, Mutability: Add<<I as RustSpec>::Mutability>, __IndirectTrap: Add<<I as RustSpec>::__IndirectTrap>>,
I: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<<H as RustSpec>::Size as Add<<I as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<<H as RustSpec>::Alignment as Max<<I as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<<H as RustSpec>::Trap as Add<<I as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<<H as RustSpec>::Niche as Add<<I as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F, G, H> RustSpec for (A, B, C, D, E, F, G, H)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>,
G: RustSpec<Size: Add<<H as RustSpec>::Size>, Alignment: Max<<H as RustSpec>::Alignment>, Trap: Add<<H as RustSpec>::Trap>, Niche: Add<<H as RustSpec>::Niche>, Mutability: Add<<H as RustSpec>::Mutability>, __IndirectTrap: Add<<H as RustSpec>::__IndirectTrap>>,
H: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G, H> RustSpec for (A, B, C, D, E, F, G, H)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
F: RustSpec<Size: Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>, Alignment: Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>, Trap: Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>, Niche: Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>, Mutability: Add<<<G as RustSpec>::Mutability as Add<<H as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<G as RustSpec>::__IndirectTrap as Add<<H as RustSpec>::__IndirectTrap>>::Output>>,
G: RustSpec<Size: Add<<H as RustSpec>::Size>, Alignment: Max<<H as RustSpec>::Alignment>, Trap: Add<<H as RustSpec>::Trap>, Niche: Add<<H as RustSpec>::Niche>, Mutability: Add<<H as RustSpec>::Mutability>, __IndirectTrap: Add<<H as RustSpec>::__IndirectTrap>>,
H: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<<G as RustSpec>::Size as Add<<H as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<<G as RustSpec>::Alignment as Max<<H as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<<G as RustSpec>::Trap as Add<<H as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<<G as RustSpec>::Niche as Add<<H as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F, G> RustSpec for (A, B, C, D, E, F, G)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>,
F: RustSpec<Size: Add<<G as RustSpec>::Size>, Alignment: Max<<G as RustSpec>::Alignment>, Trap: Add<<G as RustSpec>::Trap>, Niche: Add<<G as RustSpec>::Niche>, Mutability: Add<<G as RustSpec>::Mutability>, __IndirectTrap: Add<<G as RustSpec>::__IndirectTrap>>,
G: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F, G> RustSpec for (A, B, C, D, E, F, G)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
E: RustSpec<Size: Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>, Alignment: Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>, Trap: Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>, Niche: Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>, Mutability: Add<<<F as RustSpec>::Mutability as Add<<G as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<F as RustSpec>::__IndirectTrap as Add<<G as RustSpec>::__IndirectTrap>>::Output>>,
F: RustSpec<Size: Add<<G as RustSpec>::Size>, Alignment: Max<<G as RustSpec>::Alignment>, Trap: Add<<G as RustSpec>::Trap>, Niche: Add<<G as RustSpec>::Niche>, Mutability: Add<<G as RustSpec>::Mutability>, __IndirectTrap: Add<<G as RustSpec>::__IndirectTrap>>,
G: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<<F as RustSpec>::Size as Add<<G as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<<F as RustSpec>::Alignment as Max<<G as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<<F as RustSpec>::Trap as Add<<G as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<<F as RustSpec>::Niche as Add<<G as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E, F> RustSpec for (A, B, C, D, E, F)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>,
E: RustSpec<Size: Add<<F as RustSpec>::Size>, Alignment: Max<<F as RustSpec>::Alignment>, Trap: Add<<F as RustSpec>::Trap>, Niche: Add<<F as RustSpec>::Niche>, Mutability: Add<<F as RustSpec>::Mutability>, __IndirectTrap: Add<<F as RustSpec>::__IndirectTrap>>,
F: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E, F> RustSpec for (A, B, C, D, E, F)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
D: RustSpec<Size: Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>, Alignment: Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>, Trap: Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>, Niche: Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>, Mutability: Add<<<E as RustSpec>::Mutability as Add<<F as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<E as RustSpec>::__IndirectTrap as Add<<F as RustSpec>::__IndirectTrap>>::Output>>,
E: RustSpec<Size: Add<<F as RustSpec>::Size>, Alignment: Max<<F as RustSpec>::Alignment>, Trap: Add<<F as RustSpec>::Trap>, Niche: Add<<F as RustSpec>::Niche>, Mutability: Add<<F as RustSpec>::Mutability>, __IndirectTrap: Add<<F as RustSpec>::__IndirectTrap>>,
F: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<<E as RustSpec>::Size as Add<<F as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<<E as RustSpec>::Alignment as Max<<F as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<<E as RustSpec>::Trap as Add<<F as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<<E as RustSpec>::Niche as Add<<F as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D, E> RustSpec for (A, B, C, D, E)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>,
D: RustSpec<Size: Add<<E as RustSpec>::Size>, Alignment: Max<<E as RustSpec>::Alignment>, Trap: Add<<E as RustSpec>::Trap>, Niche: Add<<E as RustSpec>::Niche>, Mutability: Add<<E as RustSpec>::Mutability>, __IndirectTrap: Add<<E as RustSpec>::__IndirectTrap>>,
E: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>,
impl<A, B, C, D, E> RustSpec for (A, B, C, D, E)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
C: RustSpec<Size: Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>, Alignment: Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>, Trap: Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>, Niche: Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>, Mutability: Add<<<D as RustSpec>::Mutability as Add<<E as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<D as RustSpec>::__IndirectTrap as Add<<E as RustSpec>::__IndirectTrap>>::Output>>,
D: RustSpec<Size: Add<<E as RustSpec>::Size>, Alignment: Max<<E as RustSpec>::Alignment>, Trap: Add<<E as RustSpec>::Trap>, Niche: Add<<E as RustSpec>::Niche>, Mutability: Add<<E as RustSpec>::Mutability>, __IndirectTrap: Add<<E as RustSpec>::__IndirectTrap>>,
E: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<<D as RustSpec>::Size as Add<<E as RustSpec>::Size>>::Output>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<<D as RustSpec>::Alignment as Max<<E as RustSpec>::Alignment>>::Output>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<<D as RustSpec>::Trap as Add<<E as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<<D as RustSpec>::Niche as Add<<E as RustSpec>::Niche>>::Output>>::Output>>::Output>>::Output
Source§impl<A, B, C, D> RustSpec for (A, B, C, D)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<D as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<D as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<D as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<D as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<D as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<D as RustSpec>::Size>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<D as RustSpec>::Alignment>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<D as RustSpec>::Niche>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<D as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<D as RustSpec>::__IndirectTrap>>::Output>>,
C: RustSpec<Size: Add<<D as RustSpec>::Size>, Alignment: Max<<D as RustSpec>::Alignment>, Trap: Add<<D as RustSpec>::Trap>, Niche: Add<<D as RustSpec>::Niche>, Mutability: Add<<D as RustSpec>::Mutability>, __IndirectTrap: Add<<D as RustSpec>::__IndirectTrap>>,
D: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>>::Output>>::Output>,
impl<A, B, C, D> RustSpec for (A, B, C, D)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<D as RustSpec>::Size>>::Output>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<D as RustSpec>::Alignment>>::Output>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<D as RustSpec>::Niche>>::Output>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<<C as RustSpec>::Mutability as Add<<D as RustSpec>::Mutability>>::Output>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<<C as RustSpec>::__IndirectTrap as Add<<D as RustSpec>::__IndirectTrap>>::Output>>::Output>>,
B: RustSpec<Size: Add<<<C as RustSpec>::Size as Add<<D as RustSpec>::Size>>::Output>, Alignment: Max<<<C as RustSpec>::Alignment as Max<<D as RustSpec>::Alignment>>::Output>, Trap: Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>, Niche: Add<<<C as RustSpec>::Niche as Add<<D as RustSpec>::Niche>>::Output>, Mutability: Add<<<C as RustSpec>::Mutability as Add<<D as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<C as RustSpec>::__IndirectTrap as Add<<D as RustSpec>::__IndirectTrap>>::Output>>,
C: RustSpec<Size: Add<<D as RustSpec>::Size>, Alignment: Max<<D as RustSpec>::Alignment>, Trap: Add<<D as RustSpec>::Trap>, Niche: Add<<D as RustSpec>::Niche>, Mutability: Add<<D as RustSpec>::Mutability>, __IndirectTrap: Add<<D as RustSpec>::__IndirectTrap>>,
D: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<<C as RustSpec>::Size as Add<<D as RustSpec>::Size>>::Output>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<<C as RustSpec>::Alignment as Max<<D as RustSpec>::Alignment>>::Output>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<<C as RustSpec>::Trap as Add<<D as RustSpec>::Trap>>::Output>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<<C as RustSpec>::Niche as Add<<D as RustSpec>::Niche>>::Output>>::Output>>::Output
Source§impl<A, B, C> RustSpec for (A, B, C)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<C as RustSpec>::Size>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<C as RustSpec>::Alignment>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<C as RustSpec>::Trap>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<C as RustSpec>::Niche>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<C as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<C as RustSpec>::__IndirectTrap>>::Output>>,
B: RustSpec<Size: Add<<C as RustSpec>::Size>, Alignment: Max<<C as RustSpec>::Alignment>, Trap: Add<<C as RustSpec>::Trap>, Niche: Add<<C as RustSpec>::Niche>, Mutability: Add<<C as RustSpec>::Mutability>, __IndirectTrap: Add<<C as RustSpec>::__IndirectTrap>>,
C: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<C as RustSpec>::Trap>>::Output>>::Output>,
impl<A, B, C> RustSpec for (A, B, C)where
A: RustSpec<Size: Add<<<B as RustSpec>::Size as Add<<C as RustSpec>::Size>>::Output>, Alignment: Max<<<B as RustSpec>::Alignment as Max<<C as RustSpec>::Alignment>>::Output>, Trap: Add<<<B as RustSpec>::Trap as Add<<C as RustSpec>::Trap>>::Output>, Niche: Add<<<B as RustSpec>::Niche as Add<<C as RustSpec>::Niche>>::Output>, Mutability: Add<<<B as RustSpec>::Mutability as Add<<C as RustSpec>::Mutability>>::Output>, __IndirectTrap: Add<<<B as RustSpec>::__IndirectTrap as Add<<C as RustSpec>::__IndirectTrap>>::Output>>,
B: RustSpec<Size: Add<<C as RustSpec>::Size>, Alignment: Max<<C as RustSpec>::Alignment>, Trap: Add<<C as RustSpec>::Trap>, Niche: Add<<C as RustSpec>::Niche>, Mutability: Add<<C as RustSpec>::Mutability>, __IndirectTrap: Add<<C as RustSpec>::__IndirectTrap>>,
C: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<C as RustSpec>::Trap>>::Output>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<<B as RustSpec>::Size as Add<<C as RustSpec>::Size>>::Output>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<<B as RustSpec>::Alignment as Max<<C as RustSpec>::Alignment>>::Output>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<<B as RustSpec>::Trap as Add<<C as RustSpec>::Trap>>::Output>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<<B as RustSpec>::Niche as Add<<C as RustSpec>::Niche>>::Output>>::Output
Source§impl<A, B> RustSpec for (A, B)where
A: RustSpec<Size: Add<<B as RustSpec>::Size>, Alignment: Max<<B as RustSpec>::Alignment>, Trap: Add<<B as RustSpec>::Trap>, Niche: Add<<B as RustSpec>::Niche>, Mutability: Add<<B as RustSpec>::Mutability>, __IndirectTrap: Add<<B as RustSpec>::__IndirectTrap>>,
B: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<B as RustSpec>::Trap>>::Output>,
impl<A, B> RustSpec for (A, B)where
A: RustSpec<Size: Add<<B as RustSpec>::Size>, Alignment: Max<<B as RustSpec>::Alignment>, Trap: Add<<B as RustSpec>::Trap>, Niche: Add<<B as RustSpec>::Niche>, Mutability: Add<<B as RustSpec>::Mutability>, __IndirectTrap: Add<<B as RustSpec>::__IndirectTrap>>,
B: RustSpec,
Robust: Add<<<A as RustSpec>::Trap as Add<<B as RustSpec>::Trap>>::Output>,
type Layout = Unstable
type Size = <<A as RustSpec>::Size as Add<<B as RustSpec>::Size>>::Output
type Alignment = <<A as RustSpec>::Alignment as Max<<B as RustSpec>::Alignment>>::Output
type Trap = <Robust as Add<<<A as RustSpec>::Trap as Add<<B as RustSpec>::Trap>>::Output>>::Output
type Niche = <<A as RustSpec>::Niche as Add<<B as RustSpec>::Niche>>::Output
Source§impl<T: ?Sized> RustSpec for PhantomData<T>
impl<T: ?Sized> RustSpec for PhantomData<T>
Source§impl<T: RustSpec> RustSpec for MaybeUninit<T>
impl<T: RustSpec> RustSpec for MaybeUninit<T>
Source§impl<T: RustSpec> RustSpec for Saturating<T>
impl<T: RustSpec> RustSpec for Saturating<T>
Source§impl<_TŠČ0, _TŠČ1, _TŠČ3, _TŠČ6> RustSpec for Result<_TŠČ0, _TŠČ1>where
_TŠČ0: RustSpec<Alignment = _TŠČ3>,
_TŠČ1: RustSpec<Alignment = _TŠČ6>,
_TŠČ3: Max<_TŠČ6> + ?Sized,
_TŠČ6: Sized + ?Sized,
Self: for<'_dšč> RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>,
impl<_TŠČ0, _TŠČ1, _TŠČ3, _TŠČ6> RustSpec for Result<_TŠČ0, _TŠČ1>where
_TŠČ0: RustSpec<Alignment = _TŠČ3>,
_TŠČ1: RustSpec<Alignment = _TŠČ6>,
_TŠČ3: Max<_TŠČ6> + ?Sized,
_TŠČ6: Sized + ?Sized,
Self: for<'_dšč> RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>,
type Layout = <Result<_TŠČ0, _TŠČ1> as RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>>::Layout_šč
type Size = <Result<_TŠČ0, _TŠČ1> as RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>>::Size_šč
type Alignment = <Result<_TŠČ0, _TŠČ1> as RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>>::Alignment_šč
type Trap = <Result<_TŠČ0, _TŠČ1> as RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>>::Trap_šč
type Niche = <Result<_TŠČ0, _TŠČ1> as RustSpec4<<_TŠČ0 as RustSpec>::Size, <_TŠČ0 as RustSpec>::Niche, <_TŠČ0 as RustSpec>::__IndirectTrap, _TŠČ3, <_TŠČ1 as RustSpec>::Size, <_TŠČ1 as RustSpec>::Niche, <_TŠČ1 as RustSpec>::__IndirectTrap, _TŠČ6>>::Niche_šč
Source§impl<_TŠČ0> RustSpec for Box<_TŠČ0>
Available on crate feature alloc only.
impl<_TŠČ0> RustSpec for Box<_TŠČ0>
Available on crate feature
alloc only.