Trait stabby::IStable

source ·
pub unsafe trait IStable: Sized {
    type Size: IUnsigned;
    type Align: IPowerOf2;
    type ForbiddenValues: IForbiddenValues;
    type UnusedBits: IBitMask;
    type HasExactlyOneNiche: ISaturatingAdd;
    type ContainsIndirections: IBit;

    const REPORT: &'static TypeReport;
    const ID: u64;

    // Provided methods
    fn size() -> usize { ... }
    fn align() -> usize { ... }
}
Expand description

A trait to describe the layout of a type, marking it as ABI-stable.

Every layout is assumed to start at the type’s first byte.

§Safety

Mis-implementing this trait can lead to memory corruption in sum tyoes

Required Associated Types§

source

type Size: IUnsigned

The size of the annotated type.

source

type Align: IPowerOf2

The alignment of the annotated type.

source

type ForbiddenValues: IForbiddenValues

The values that the annotated type cannot occupy.

source

type UnusedBits: IBitMask

The padding bits in the annotated types

source

type HasExactlyOneNiche: ISaturatingAdd

Allows the detection of whether or not core::option::Options are stable:

  • B0 if the type is known to have 0 niches knowable by rustc
  • B1 if the type has exactly one niche value, and that niche is known by rustc
  • Saturator if the type has more than a single value, which would mean rustc could change its way of representing the None variant.
source

type ContainsIndirections: IBit

Whether or not the type contains indirections (pointers, indices in independent data-structures…)

Required Associated Constants§

source

const REPORT: &'static TypeReport

A compile-time generated report of the fields of the type, allowing for compatibility inspection.

source

const ID: u64

A stable (and ideally unique) identifier for the type. Often generated using crate::report::gen_id, but can be manually set.

Provided Methods§

source

fn size() -> usize

Returns the size of the type.

source

fn align() -> usize

Returns the alignment of the type.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl IStable for Ordering

§

type Align = UInt<UTerm, B1>

§

type Size = UInt<UTerm, B1>

§

type ForbiddenValues = Or<Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UTerm, B1>, B0>, End>, Or<Array<UTerm, UInt<UInt<UTerm, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, End>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, End>>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, End>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, End>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, End>>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, End>>>>>>>>

§

type UnusedBits = End

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 10_203_958_413_723_409_168u64

source§

impl IStable for bool

§

type Align = UInt<UTerm, B1>

§

type Size = UInt<UTerm, B1>

§

type ForbiddenValues = Or<Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UTerm, B1>, B0>, End>, Or<Array<UTerm, UInt<UInt<UTerm, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UTerm, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, End>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, End>>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, End>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, End>>>>>>>, Or<Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, End>>>>>>, Or<Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B1>, End>>>>>, Or<Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B1>, End>>>>, Or<Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B1>, End>>>, Or<Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>, End>>, Or<Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, End>, Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B1>, End>>>>>>>>>

§

type UnusedBits = End

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 5_882_723_809_095_505_000u64

source§

impl IStable for f32

source§

impl IStable for f64

source§

impl IStable for i8

§

type Align = <u8 as IStable>::Align

§

type Size = <u8 as IStable>::Size

§

type UnusedBits = <u8 as IStable>::UnusedBits

§

type ForbiddenValues = <u8 as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <u8 as IStable>::HasExactlyOneNiche

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 17_338_487_087_669_866_839u64

§

type ContainsIndirections = B0

source§

impl IStable for i16

source§

impl IStable for i32

source§

impl IStable for i64

source§

impl IStable for i128

source§

impl IStable for isize

source§

impl IStable for u8

§

type UnusedBits = End

§

type ForbiddenValues = End

§

type Align = UInt<UTerm, B1>

§

type Size = UInt<UTerm, B1>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 18_238_837_354_371_724_971u64

source§

impl IStable for u16

§

type UnusedBits = End

§

type ForbiddenValues = End

§

type Align = UInt<UInt<UTerm, B1>, B0>

§

type Size = UInt<UInt<UTerm, B1>, B0>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 5_721_806_422_989_118_874u64

source§

impl IStable for u32

§

type UnusedBits = End

§

type ForbiddenValues = End

§

type Align = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

§

type Size = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 18_291_048_008_402_796_274u64

source§

impl IStable for u64

§

type UnusedBits = End

§

type ForbiddenValues = End

§

type Align = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

§

type Size = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 17_098_687_427_458_588_252u64

source§

impl IStable for u128

§

type UnusedBits = End

§

type ForbiddenValues = End

§

type Size = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

§

type HasExactlyOneNiche = B0

§

type Align = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 14_688_643_086_980_621_474u64

source§

impl IStable for ()

§

type Size = UTerm

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = End

§

type UnusedBits = End

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 14_326_491_871_489_044_145u64

source§

impl IStable for usize

source§

impl IStable for PhantomPinned

§

type Size = UTerm

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = End

§

type UnusedBits = End

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 15_861_309_253_997_555_508u64

source§

impl IStable for NonZero<i8>

source§

impl IStable for NonZero<i16>

source§

impl IStable for NonZero<i32>

source§

impl IStable for NonZero<i64>

source§

impl IStable for NonZero<i128>

source§

impl IStable for NonZero<isize>

source§

impl IStable for NonZero<u8>

§

type Align = UInt<UTerm, B1>

§

type Size = UInt<UTerm, B1>

§

type UnusedBits = End

§

type ForbiddenValues = Array<UTerm, UTerm, End>

§

type HasExactlyOneNiche = B1

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 3_540_027_963_132_224_500u64

source§

impl IStable for NonZero<u16>

§

type ForbiddenValues = Array<UTerm, UTerm, Array<UInt<UTerm, B1>, UTerm, End>>

§

type UnusedBits = End

§

type Align = UInt<UInt<UTerm, B1>, B0>

§

type Size = UInt<UInt<UTerm, B1>, B0>

§

type HasExactlyOneNiche = B1

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 9_399_775_958_610_230_907u64

source§

impl IStable for NonZero<u32>

source§

impl IStable for NonZero<u64>

source§

impl IStable for NonZero<u128>

source§

impl IStable for NonZero<usize>

source§

impl IStable for AtomicBool

source§

impl IStable for AtomicI8

§

type Align = <i8 as IStable>::Align

§

type Size = <i8 as IStable>::Size

§

type UnusedBits = <i8 as IStable>::UnusedBits

§

type ForbiddenValues = <i8 as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <i8 as IStable>::HasExactlyOneNiche

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 10_516_138_783_877_995_156u64

§

type ContainsIndirections = B0

source§

impl IStable for AtomicI16

source§

impl IStable for AtomicI32

source§

impl IStable for AtomicI64

source§

impl IStable for AtomicIsize

source§

impl IStable for AtomicU8

§

type Align = <u8 as IStable>::Align

§

type Size = <u8 as IStable>::Size

§

type UnusedBits = <u8 as IStable>::UnusedBits

§

type ForbiddenValues = <u8 as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <u8 as IStable>::HasExactlyOneNiche

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 7_187_509_770_940_105_542u64

§

type ContainsIndirections = B0

source§

impl IStable for AtomicU16

source§

impl IStable for AtomicU32

source§

impl IStable for AtomicU64

source§

impl IStable for AtomicUsize

source§

impl IStable for OwnedFd

source§

impl<'a> IStable for BorrowedFd<'a>

source§

impl<A, B> IStable for (Union<A, B>, B0)
where A: IStable, B: IStable, Struct<(Union<A, B>, B1)>: IStable,

§

type Align = <Struct<(Union<A, B>, B1)> as IStable>::Align

§

type Size = <Struct<(Union<A, B>, B1)> as IStable>::Size

§

type UnusedBits = <Struct<(Union<A, B>, B1)> as IStable>::UnusedBits

§

type ForbiddenValues = <Struct<(Union<A, B>, B1)> as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <Struct<(Union<A, B>, B1)> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<(Union<A, B>, B1)> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <Struct<(Union<A, B>, B1)> as IStable>::REPORT

source§

const ID: u64 = <Struct<(Union<A, B>, B1)> as IStable>::ID

source§

impl<A, B> IStable for (Union<A, B>, B1)
where A: IStable, B: IStable,

§

type ForbiddenValues = End

§

type UnusedBits = End

§

type Size = <<A as IStable>::Size as IUnsigned>::Max<<B as IStable>::Size>

§

type Align = <<A as IStable>::Align as IPowerOf2>::Max<<B as IStable>::Align>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = <<A as IStable>::ContainsIndirections as IBit>::Or<<B as IStable>::ContainsIndirections>

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 8_675_695_548_439_107_602u64

source§

impl<Ok, Err> IStable for Result<Ok, Err>
where Ok: IStable, Err: IStable, HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)>: IStable,

§

type ContainsIndirections = <<Ok as IStable>::ContainsIndirections as IBit>::Or<<Err as IStable>::ContainsIndirections>

§

type Align = <HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)> as IStable>::Align

§

type Size = <HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)> as IStable>::Size

§

type UnusedBits = <HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)> as IStable>::UnusedBits

§

type ForbiddenValues = <HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)> as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <HasExactlyOneNiche<Result<Ok, Err>, (<Ok as IStable>::HasExactlyOneNiche, <Err as IStable>::Size)> as IStable>::HasExactlyOneNiche

source§

const REPORT: &'static TypeReport = <HasExactlyOneNiche<Self, (Ok::HasExactlyOneNiche, Err::Size)> as IStable>::REPORT

source§

const ID: u64 = _

source§

impl<Output> IStable for extern "C" fn() -> Output
where Output: IStable,

source§

impl<Output> IStable for extern "C-unwind" fn() -> Output
where Output: IStable,

source§

impl<Output> IStable for unsafe extern "C" fn() -> Output
where Output: IStable,

source§

impl<Output> IStable for unsafe extern "C-unwind" fn() -> Output
where Output: IStable,

source§

impl<Output, I1> IStable for extern "C" fn(_: I1) -> Output
where Output: IStable, I1: IStable,

source§

impl<Output, I1> IStable for extern "C-unwind" fn(_: I1) -> Output
where Output: IStable, I1: IStable,

source§

impl<Output, I1> IStable for unsafe extern "C" fn(_: I1) -> Output
where Output: IStable, I1: IStable,

source§

impl<Output, I1> IStable for unsafe extern "C-unwind" fn(_: I1) -> Output
where Output: IStable, I1: IStable,

source§

impl<Output, I2, I1> IStable for extern "C" fn(_: I2, _: I1) -> Output
where Output: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I2, I1> IStable for extern "C-unwind" fn(_: I2, _: I1) -> Output
where Output: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I2, I1> IStable for unsafe extern "C" fn(_: I2, _: I1) -> Output
where Output: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I2, _: I1) -> Output
where Output: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I3, I2, I1> IStable for extern "C" fn(_: I3, _: I2, _: I1) -> Output
where Output: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I3, I2, I1> IStable for extern "C-unwind" fn(_: I3, _: I2, _: I1) -> Output
where Output: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I3, I2, I1> IStable for unsafe extern "C" fn(_: I3, _: I2, _: I1) -> Output
where Output: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I3, _: I2, _: I1) -> Output
where Output: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I4, I3, I2, I1> IStable for extern "C" fn(_: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I15, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C" fn(_: I15, _: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I15: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I15, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for extern "C-unwind" fn(_: I15, _: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I15: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I15, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C" fn(_: I15, _: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I15: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<Output, I15, I14, I13, I12, I11, I10, I9, I8, I7, I6, I5, I4, I3, I2, I1> IStable for unsafe extern "C-unwind" fn(_: I15, _: I14, _: I13, _: I12, _: I11, _: I10, _: I9, _: I8, _: I7, _: I6, _: I5, _: I4, _: I3, _: I2, _: I1) -> Output
where Output: IStable, I15: IStable, I14: IStable, I13: IStable, I12: IStable, I11: IStable, I10: IStable, I9: IStable, I8: IStable, I7: IStable, I6: IStable, I5: IStable, I4: IStable, I3: IStable, I2: IStable, I1: IStable,

source§

impl<T> IStable for (Struct<T>, UTerm)
where T: IStable,

§

type Align = <T as IStable>::Align

§

type Size = <T as IStable>::Size

§

type UnusedBits = <T as IStable>::UnusedBits

§

type ForbiddenValues = <T as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <T as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <T as IStable>::REPORT

source§

const ID: u64 = <T as IStable>::ID

source§

impl<T> IStable for Option<T>
where T: IStable, HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche>: IStable,

§

type Align = <HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche> as IStable>::Align

§

type Size = <HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche> as IStable>::Size

§

type UnusedBits = <HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche> as IStable>::UnusedBits

§

type ForbiddenValues = <HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche> as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <HasExactlyOneNiche<Option<T>, <T as IStable>::HasExactlyOneNiche> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <HasExactlyOneNiche<core::option::Option<T>, T::HasExactlyOneNiche> as IStable>::REPORT

source§

const ID: u64 = _

source§

impl<T> IStable for [T; 0]
where T: IStable,

source§

impl<T> IStable for [T; 1]
where T: IStable,

source§

impl<T> IStable for [T; 2]
where T: IStable,

source§

impl<T> IStable for [T; 3]
where T: IStable,

source§

impl<T> IStable for [T; 4]
where T: IStable,

source§

impl<T> IStable for [T; 5]
where T: IStable,

source§

impl<T> IStable for [T; 6]
where T: IStable,

source§

impl<T> IStable for [T; 7]
where T: IStable,

source§

impl<T> IStable for [T; 8]
where T: IStable,

source§

impl<T> IStable for [T; 9]
where T: IStable,

source§

impl<T> IStable for [T; 10]
where T: IStable,

source§

impl<T> IStable for [T; 11]
where T: IStable,

source§

impl<T> IStable for [T; 12]
where T: IStable,

source§

impl<T> IStable for [T; 13]
where T: IStable,

source§

impl<T> IStable for [T; 14]
where T: IStable,

source§

impl<T> IStable for [T; 15]
where T: IStable,

source§

impl<T> IStable for [T; 16]
where T: IStable,

source§

impl<T> IStable for [T; 17]
where T: IStable,

source§

impl<T> IStable for [T; 18]
where T: IStable,

source§

impl<T> IStable for [T; 19]
where T: IStable,

source§

impl<T> IStable for [T; 20]
where T: IStable,

source§

impl<T> IStable for [T; 21]
where T: IStable,

source§

impl<T> IStable for [T; 22]
where T: IStable,

source§

impl<T> IStable for [T; 23]
where T: IStable,

source§

impl<T> IStable for [T; 24]
where T: IStable,

source§

impl<T> IStable for [T; 25]
where T: IStable,

source§

impl<T> IStable for [T; 26]
where T: IStable,

source§

impl<T> IStable for [T; 27]
where T: IStable,

source§

impl<T> IStable for [T; 28]
where T: IStable,

source§

impl<T> IStable for [T; 29]
where T: IStable,

source§

impl<T> IStable for [T; 30]
where T: IStable,

source§

impl<T> IStable for [T; 31]
where T: IStable,

source§

impl<T> IStable for [T; 32]
where T: IStable,

source§

impl<T> IStable for [T; 33]
where T: IStable,

source§

impl<T> IStable for [T; 34]
where T: IStable,

source§

impl<T> IStable for [T; 35]
where T: IStable,

source§

impl<T> IStable for [T; 36]
where T: IStable,

source§

impl<T> IStable for [T; 37]
where T: IStable,

source§

impl<T> IStable for [T; 38]
where T: IStable,

source§

impl<T> IStable for [T; 39]
where T: IStable,

source§

impl<T> IStable for [T; 40]
where T: IStable,

source§

impl<T> IStable for [T; 41]
where T: IStable,

source§

impl<T> IStable for [T; 42]
where T: IStable,

source§

impl<T> IStable for [T; 43]
where T: IStable,

source§

impl<T> IStable for [T; 44]
where T: IStable,

source§

impl<T> IStable for [T; 45]
where T: IStable,

source§

impl<T> IStable for [T; 46]
where T: IStable,

source§

impl<T> IStable for [T; 47]
where T: IStable,

source§

impl<T> IStable for [T; 48]
where T: IStable,

source§

impl<T> IStable for [T; 49]
where T: IStable,

source§

impl<T> IStable for [T; 50]
where T: IStable,

source§

impl<T> IStable for [T; 51]
where T: IStable,

source§

impl<T> IStable for [T; 52]
where T: IStable,

source§

impl<T> IStable for [T; 53]
where T: IStable,

source§

impl<T> IStable for [T; 54]
where T: IStable,

source§

impl<T> IStable for [T; 55]
where T: IStable,

source§

impl<T> IStable for [T; 56]
where T: IStable,

source§

impl<T> IStable for [T; 57]
where T: IStable,

source§

impl<T> IStable for [T; 58]
where T: IStable,

source§

impl<T> IStable for [T; 59]
where T: IStable,

source§

impl<T> IStable for [T; 60]
where T: IStable,

source§

impl<T> IStable for [T; 61]
where T: IStable,

source§

impl<T> IStable for [T; 62]
where T: IStable,

source§

impl<T> IStable for [T; 63]
where T: IStable,

source§

impl<T> IStable for [T; 64]
where T: IStable,

source§

impl<T> IStable for [T; 65]
where T: IStable,

source§

impl<T> IStable for [T; 66]
where T: IStable,

source§

impl<T> IStable for [T; 67]
where T: IStable,

source§

impl<T> IStable for [T; 68]
where T: IStable,

source§

impl<T> IStable for [T; 69]
where T: IStable,

source§

impl<T> IStable for [T; 70]
where T: IStable,

source§

impl<T> IStable for [T; 71]
where T: IStable,

source§

impl<T> IStable for [T; 72]
where T: IStable,

source§

impl<T> IStable for [T; 73]
where T: IStable,

source§

impl<T> IStable for [T; 74]
where T: IStable,

source§

impl<T> IStable for [T; 75]
where T: IStable,

source§

impl<T> IStable for [T; 76]
where T: IStable,

source§

impl<T> IStable for [T; 77]
where T: IStable,

source§

impl<T> IStable for [T; 78]
where T: IStable,

source§

impl<T> IStable for [T; 79]
where T: IStable,

source§

impl<T> IStable for [T; 80]
where T: IStable,

source§

impl<T> IStable for [T; 81]
where T: IStable,

source§

impl<T> IStable for [T; 82]
where T: IStable,

source§

impl<T> IStable for [T; 83]
where T: IStable,

source§

impl<T> IStable for [T; 84]
where T: IStable,

source§

impl<T> IStable for [T; 85]
where T: IStable,

source§

impl<T> IStable for [T; 86]
where T: IStable,

source§

impl<T> IStable for [T; 87]
where T: IStable,

source§

impl<T> IStable for [T; 88]
where T: IStable,

source§

impl<T> IStable for [T; 89]
where T: IStable,

source§

impl<T> IStable for [T; 90]
where T: IStable,

source§

impl<T> IStable for [T; 91]
where T: IStable,

source§

impl<T> IStable for [T; 92]
where T: IStable,

source§

impl<T> IStable for [T; 93]
where T: IStable,

source§

impl<T> IStable for [T; 94]
where T: IStable,

source§

impl<T> IStable for [T; 95]
where T: IStable,

source§

impl<T> IStable for [T; 96]
where T: IStable,

source§

impl<T> IStable for [T; 97]
where T: IStable,

source§

impl<T> IStable for [T; 98]
where T: IStable,

source§

impl<T> IStable for [T; 99]
where T: IStable,

source§

impl<T> IStable for [T; 100]
where T: IStable,

source§

impl<T> IStable for [T; 101]
where T: IStable,

source§

impl<T> IStable for [T; 102]
where T: IStable,

source§

impl<T> IStable for [T; 103]
where T: IStable,

source§

impl<T> IStable for [T; 104]
where T: IStable,

source§

impl<T> IStable for [T; 105]
where T: IStable,

source§

impl<T> IStable for [T; 106]
where T: IStable,

source§

impl<T> IStable for [T; 107]
where T: IStable,

source§

impl<T> IStable for [T; 108]
where T: IStable,

source§

impl<T> IStable for [T; 109]
where T: IStable,

source§

impl<T> IStable for [T; 110]
where T: IStable,

source§

impl<T> IStable for [T; 111]
where T: IStable,

source§

impl<T> IStable for [T; 112]
where T: IStable,

source§

impl<T> IStable for [T; 113]
where T: IStable,

source§

impl<T> IStable for [T; 114]
where T: IStable,

source§

impl<T> IStable for [T; 115]
where T: IStable,

source§

impl<T> IStable for [T; 116]
where T: IStable,

source§

impl<T> IStable for [T; 117]
where T: IStable,

source§

impl<T> IStable for [T; 118]
where T: IStable,

source§

impl<T> IStable for [T; 119]
where T: IStable,

source§

impl<T> IStable for [T; 120]
where T: IStable,

source§

impl<T> IStable for [T; 121]
where T: IStable,

source§

impl<T> IStable for [T; 122]
where T: IStable,

source§

impl<T> IStable for [T; 123]
where T: IStable,

source§

impl<T> IStable for [T; 124]
where T: IStable,

source§

impl<T> IStable for [T; 125]
where T: IStable,

source§

impl<T> IStable for [T; 126]
where T: IStable,

source§

impl<T> IStable for [T; 127]
where T: IStable,

source§

impl<T> IStable for [T; 128]
where T: IStable,

source§

impl<T> IStable for *const T
where T: IStable,

source§

impl<T> IStable for *mut T
where T: IStable,

source§

impl<T> IStable for &T
where T: IStable,

source§

impl<T> IStable for &mut T
where T: IStable,

source§

impl<T> IStable for UnsafeCell<T>
where T: IStable,

source§

impl<T> IStable for PhantomData<T>

§

type Size = UTerm

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = End

§

type UnusedBits = End

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 5_129_991_057_461_479_006u64

source§

impl<T> IStable for ManuallyDrop<T>
where T: IStable,

source§

impl<T> IStable for Pin<T>
where T: IStable,

source§

impl<T> IStable for NonNull<T>
where T: IStable,

source§

impl<T> IStable for AtomicPtr<T>
where T: IStable,

source§

impl<T> IStable for MaybeUninit<T>
where T: IStable,

source§

impl<T, Align> IStable for ((Struct<T>, Align), UTerm)
where T: IStable,

§

type Align = <T as IStable>::Align

§

type Size = <T as IStable>::Size

§

type UnusedBits = <T as IStable>::UnusedBits

§

type ForbiddenValues = <T as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <T as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <T as IStable>::REPORT

source§

const ID: u64 = <T as IStable>::ID

source§

impl<T, Align, RemU, RemB> IStable for ((Struct<T>, Align), UInt<RemU, RemB>)
where T: IStable, RemU: IUnsigned, RemB: IBit,

§

type Size = <<T as IStable>::Size as IUnsigned>::Add<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<RemU, RemB>>>

§

type Align = <T as IStable>::Align

§

type ForbiddenValues = <T as IStable>::ForbiddenValues

§

type UnusedBits = <<T as IStable>::UnusedBits as IBitMask>::BitOr<<<<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<RemU, RemB>> as IUnsigned>::Padding as IStable>::UnusedBits as IBitMask>::Shift<<T as IStable>::Size>>

§

type HasExactlyOneNiche = Saturator

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 6_717_366_552_833_334_563u64

source§

impl<T, B, Int> IStable for (Struct<T>, UInt<Int, B>)
where T: IStable, B: IBit, Int: IUnsigned, UInt<Int, B>: IPowerOf2, ((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>): IStable,

§

type Align = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::Align

§

type Size = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::Size

§

type UnusedBits = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::UnusedBits

§

type ForbiddenValues = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <((Struct<T>, UInt<Int, B>), <<T as IStable>::Size as IUnsigned>::Mod<UInt<Int, B>>) as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <(Self, <T::Size as crate::typenum2::Unsigned>::Mod<UInt<Int, B>>) as IStable>::REPORT

source§

const ID: u64 = <(Self, <T::Size as crate::typenum2::Unsigned>::Mod<UInt<Int, B>>) as IStable>::ID

source§

impl<T, Start> IStable for (AlignedAfter<T, Start>, UInt<UTerm, B1>)
where T: IStable, Start: IUnsigned,

§

type Align = UInt<UTerm, B1>

§

type Size = <Start as IUnsigned>::Add<<T as IStable>::Size>

§

type UnusedBits = <<T as IStable>::UnusedBits as IBitMask>::Shift<Start>

§

type ForbiddenValues = <<T as IStable>::ForbiddenValues as IForbiddenValues>::Shift<Start>

§

type HasExactlyOneNiche = <T as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 6_717_366_552_833_334_563u64

source§

impl<T, Start, TAlignB1, TAlignB2, TAlignInt> IStable for (AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>)
where T: IStable, Start: IUnsigned, TAlignB1: IBit, TAlignB2: IBit, TAlignInt: IUnsigned, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>: IPowerOf2, ((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>): IStable,

§

type Align = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::Align

§

type Size = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::Size

§

type UnusedBits = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::UnusedBits

§

type ForbiddenValues = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <((AlignedAfter<T, Start>, UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>), <Start as IUnsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <(Self, <Start as crate::typenum2::Unsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::REPORT

source§

const ID: u64 = <(Self, <Start as crate::typenum2::Unsigned>::Mod<UInt<UInt<TAlignInt, TAlignB1>, TAlignB2>>) as IStable>::ID

source§

impl<T, Start, TAlignB, TAlignInt> IStable for ((AlignedAfter<T, Start>, UInt<TAlignB, TAlignInt>), UTerm)
where T: IStable, Start: IUnsigned, TAlignB: IUnsigned, TAlignInt: IBit,

§

type Align = <T as IStable>::Align

§

type Size = <Start as IUnsigned>::Add<<T as IStable>::Size>

§

type UnusedBits = <<T as IStable>::UnusedBits as IBitMask>::Shift<Start>

§

type ForbiddenValues = <<T as IStable>::ForbiddenValues as IForbiddenValues>::Shift<Start>

§

type HasExactlyOneNiche = <T as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 6_717_366_552_833_334_563u64

source§

impl<T, Start, TAlignB, TAlignInt, B, Int> IStable for ((AlignedAfter<T, Start>, UInt<TAlignB, TAlignInt>), UInt<B, Int>)
where T: IStable, Start: IUnsigned, TAlignB: IUnsigned, TAlignInt: IBit, B: IUnsigned, Int: IBit,

§

type Align = <T as IStable>::Align

§

type Size = <<Start as IUnsigned>::Add<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<B, Int>>> as IUnsigned>::Add<<T as IStable>::Size>

§

type UnusedBits = <<<<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<B, Int>> as IUnsigned>::Padding as IStable>::UnusedBits as IBitMask>::Shift<Start> as IBitMask>::BitOr<<<T as IStable>::UnusedBits as IBitMask>::Shift<<Start as IUnsigned>::Add<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<B, Int>>>>>

§

type ForbiddenValues = <<T as IStable>::ForbiddenValues as IForbiddenValues>::Shift<<Start as IUnsigned>::Add<<<T as IStable>::Align as IUnsigned>::AbsSub<UInt<B, Int>>>>

§

type HasExactlyOneNiche = Saturator

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 6_717_366_552_833_334_563u64

Implementors§

source§

impl IStable for BitDeterminant

§

type Size = UInt<UTerm, B1>

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = End

§

type UnusedBits = Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>, End>

§

type HasExactlyOneNiche = Saturator

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 2_450_356_074_754_771_548u64

source§

impl IStable for TyTy
where Str<'static>: IStable, (): IStable, Tuple<u8, Union<(), ManuallyDrop<Str<'static>>>>: IStable,

source§

impl IStable for Sign
where (): IStable, Tuple<u8, ()>: IStable,

source§

impl IStable for LibcAlloc
where Struct<[u8; 0]>: IStable, [u8; 0]: IStable,

§

type ForbiddenValues = <Struct<[u8; 0]> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<[u8; 0]> as IStable>::UnusedBits

§

type Size = <Struct<[u8; 0]> as IStable>::Size

§

type Align = <Struct<[u8; 0]> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<[u8; 0]> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<[u8; 0]> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 11_330_353_726_606_236_470u64

source§

impl IStable for AllocationError
where (): IStable,

source§

impl IStable for Layout

source§

impl IStable for StabbyVtableIStableAlloc
where Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>>: IStable, StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>: IStable, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>: IStable, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>: IStable,

§

type ForbiddenValues = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::UnusedBits

§

type Size = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::Size

§

type Align = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<FieldPair<FieldPair<StableLike<extern "C" fn(_: &mut (), _: Layout) -> *mut (), &'static ()>, StableLike<extern "C" fn(_: &mut (), _: *mut ()), &'static ()>>, StableLike<extern "C" fn(_: &mut (), _: *mut (), _: Layout) -> *mut (), &'static ()>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl IStable for ReportMismatch
where Struct<FieldPair<&'static TypeReport, &'static TypeReport>>: IStable, &'static TypeReport: IStable,

source§

impl IStable for End
where (): IStable,

source§

impl IStable for NonMaxU8

source§

impl IStable for NonMaxU16

source§

impl IStable for NonMaxU32

source§

impl IStable for NonMaxU64

source§

impl IStable for NonMaxU128

source§

impl IStable for NonMaxUsize

source§

impl IStable for FieldReport
where Struct<FieldPair<FieldPair<Str<'static>, &'static TypeReport>, StableLike<Option<&'static FieldReport>, usize>>>: IStable, Str<'static>: IStable, &'static TypeReport: IStable, StableLike<Option<&'static FieldReport>, usize>: IStable,

source§

impl IStable for Fields
where Struct<Option<&'static FieldReport>>: IStable, Option<&'static FieldReport>: IStable,

source§

impl IStable for TypeReport

source§

impl IStable for PadByte

§

type Size = UInt<UTerm, B1>

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = End

§

type UnusedBits = Array<UTerm, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B1>, End>

§

type HasExactlyOneNiche = B0

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 3_660_585_154_765_381_739u64

source§

impl IStable for StabbyVtableAny
where Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>>: IStable, StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &()) -> &'static TypeReport, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl IStable for VtDrop
where Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>>: IStable, StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>: IStable,

§

type ForbiddenValues = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::Size

§

type Align = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<unsafe extern "C" fn(_: &mut ()), NonZero<usize>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl IStable for AtomicDuration

source§

impl IStable for AtomicInstant

source§

impl IStable for Duration

source§

impl IStable for Instant

source§

impl IStable for SystemTime

source§

impl<'a> IStable for Str<'a>
where Struct<Slice<'a, u8>>: IStable, Slice<'a, u8>: IStable,

source§

impl<'a> IStable for StrMut<'a>
where Struct<SliceMut<'a, u8>>: IStable, SliceMut<'a, u8>: IStable,

source§

impl<'a, Alloc> IStable for StableWaker<'a, Alloc>
where Alloc: IAlloc, Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>>: IStable, StableLike<&'a Waker, &'a ()>: IStable, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>: IStable, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>: IStable,

§

type ForbiddenValues = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::UnusedBits

§

type Size = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::Size

§

type Align = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<FieldPair<FieldPair<StableLike<&'a Waker, &'a ()>, unsafe extern "C" fn(_: StableLike<&'a Waker, &'a ()>) -> SharedStableWaker<Alloc>>, StableLike<unsafe extern "C" fn(_: &Waker), &'a ()>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<'a, P, Vt> IStable for Dyn<'a, P, Vt>

source§

impl<'a, T> IStable for Slice<'a, T>

source§

impl<'a, T> IStable for SliceMut<'a, T>

source§

impl<'a, T, Alloc> IStable for DoubleEndedDrain<'a, T, Alloc>
where T: 'a, Alloc: IAlloc + 'a, Struct<FieldPair<FieldPair<FieldPair<FieldPair<FieldPair<&'a mut Vec<T, Alloc>, usize>, usize>, usize>, usize>, usize>>: IStable, &'a mut Vec<T, Alloc>: IStable, usize: IStable,

source§

impl<'a, T, Alloc> IStable for Drain<'a, T, Alloc>
where T: 'a, Alloc: IAlloc + 'a, Struct<FieldPair<FieldPair<FieldPair<FieldPair<&'a mut Vec<T, Alloc>, usize>, usize>, usize>, usize>>: IStable, &'a mut Vec<T, Alloc>: IStable, usize: IStable,

source§

impl<'a, Vt> IStable for DynRef<'a, Vt>

source§

impl<A, B> IStable for FieldPair<A, B>
where A: IStable, B: IStable, AlignedAfter<B, <A as IStable>::Size>: IStable,

source§

impl<A, B> IStable for Tuple<A, B>
where Struct<FieldPair<A, B>>: IStable, A: IStable, B: IStable,

source§

impl<A, B> IStable for Tuple2<A, B>
where Struct<FieldPair<A, B>>: IStable, A: IStable, B: IStable,

source§

impl<A, B> IStable for Union<A, B>
where A: IStable, B: IStable, (Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>): IStable,

§

type Align = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::Align

§

type Size = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::Size

§

type UnusedBits = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::UnusedBits

§

type ForbiddenValues = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <(Union<A, B>, <<A as IStable>::Align as IUnsigned>::Equal<<B as IStable>::Align>) as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <(Self, <A::Align as crate::typenum2::Unsigned>::Equal<B::Align>) as IStable>::REPORT

source§

const ID: u64 = <(Self, <A::Align as crate::typenum2::Unsigned>::Equal<B::Align>) as IStable>::ID

source§

impl<A, B, C> IStable for Tuple3<A, B, C>
where Struct<FieldPair<FieldPair<A, B>, C>>: IStable, A: IStable, B: IStable, C: IStable,

source§

impl<A, B, C, D> IStable for Tuple4<A, B, C, D>
where Struct<FieldPair<FieldPair<FieldPair<A, B>, C>, D>>: IStable, A: IStable, B: IStable, C: IStable, D: IStable,

source§

impl<A, B, C, D, E> IStable for Tuple5<A, B, C, D, E>
where Struct<FieldPair<FieldPair<FieldPair<FieldPair<A, B>, C>, D>, E>>: IStable, A: IStable, B: IStable, C: IStable, D: IStable, E: IStable,

source§

impl<A, B, C, D, E, F> IStable for Tuple6<A, B, C, D, E, F>
where Struct<FieldPair<FieldPair<FieldPair<FieldPair<FieldPair<A, B>, C>, D>, E>, F>>: IStable, A: IStable, B: IStable, C: IStable, D: IStable, E: IStable, F: IStable,

source§

impl<A, B, C, D, E, F, G> IStable for Tuple7<A, B, C, D, E, F, G>

source§

impl<A, B, C, D, E, F, G, H> IStable for Tuple8<A, B, C, D, E, F, G, H>

source§

impl<A, B, C, D, E, F, G, H, I> IStable for Tuple9<A, B, C, D, E, F, G, H, I>

source§

impl<Alloc> IStable for AllocPrefix<Alloc>

source§

impl<Alloc> IStable for BoxedStr<Alloc>
where Alloc: IAlloc, Struct<BoxedSlice<u8, Alloc>>: IStable, BoxedSlice<u8, Alloc>: IStable,

source§

impl<Alloc> IStable for String<Alloc>
where Alloc: IAlloc, Struct<Vec<u8, Alloc>>: IStable, Vec<u8, Alloc>: IStable,

source§

impl<Alloc> IStable for ArcStr<Alloc>
where Alloc: IAlloc, Struct<ArcSlice<u8, Alloc>>: IStable, ArcSlice<u8, Alloc>: IStable,

source§

impl<Alloc> IStable for WeakStr<Alloc>
where Alloc: IAlloc, Struct<WeakSlice<u8, Alloc>>: IStable, WeakSlice<u8, Alloc>: IStable,

source§

impl<Determinant> IStable for Not<Determinant>
where Determinant: IStable,

§

type Size = <Determinant as IStable>::Size

§

type Align = <Determinant as IStable>::Align

§

type ForbiddenValues = <Determinant as IStable>::ForbiddenValues

§

type UnusedBits = <Determinant as IStable>::UnusedBits

§

type HasExactlyOneNiche = <Determinant as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Determinant as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<F> IStable for CanariedImport<F>
where Struct<FieldPair<FieldPair<F, AtomicU8>, extern "C" fn()>>: IStable, F: IStable, AtomicU8: IStable, extern "C" fn(): IStable,

source§

impl<F> IStable for CheckedImport<F>
where Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>>: IStable, UnsafeCell<MaybeUninit<F>>: IStable, AtomicU8: IStable, unsafe extern "C" fn(_: &TypeReport) -> Option<F>: IStable, unsafe extern "C" fn() -> &'static TypeReport: IStable, &'static TypeReport: IStable,

§

type ForbiddenValues = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::UnusedBits

§

type Size = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::Size

§

type Align = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(_: &TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<ForbiddenValues, UnusedBits, HasExactlyOneNiche> IStable for NicheExporter<ForbiddenValues, UnusedBits, HasExactlyOneNiche>
where ForbiddenValues: IForbiddenValues, UnusedBits: IBitMask, HasExactlyOneNiche: ISaturatingAdd,

§

type Size = UTerm

§

type Align = UInt<UTerm, B1>

§

type ForbiddenValues = ForbiddenValues

§

type UnusedBits = UnusedBits

§

type HasExactlyOneNiche = HasExactlyOneNiche

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 15_892_844_000_131_910_273u64

source§

impl<Head, Tail> IStable for VTable<Head, Tail>
where Struct<FieldPair<Tail, Head>>: IStable, Tail: IStable, Head: IStable,

source§

impl<L> IStable for OneMoreByte<L>
where L: IStable + Copy + Default,

source§

impl<Left, T> IStable for Padded<Left, T>
where Left: IUnsigned, T: IStable,

source§

impl<O> IStable for StabbyVtableCall0<O>
where Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &()) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &()) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O> IStable for StabbyVtableCallMut0<O>
where Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut ()) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0> IStable for StabbyVtableCall1<O, I0>
where Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0> IStable for StabbyVtableCallMut1<O, I0>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1> IStable for StabbyVtableCall2<O, I0, I1>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1> IStable for StabbyVtableCallMut2<O, I0, I1>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2> IStable for StabbyVtableCall3<O, I0, I1, I2>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2> IStable for StabbyVtableCallMut3<O, I0, I1, I2>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3> IStable for StabbyVtableCall4<O, I0, I1, I2, I3>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3> IStable for StabbyVtableCallMut4<O, I0, I1, I2, I3>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4> IStable for StabbyVtableCall5<O, I0, I1, I2, I3, I4>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4> IStable for StabbyVtableCallMut5<O, I0, I1, I2, I3, I4>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5> IStable for StabbyVtableCall6<O, I0, I1, I2, I3, I4, I5>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5> IStable for StabbyVtableCallMut6<O, I0, I1, I2, I3, I4, I5>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6> IStable for StabbyVtableCall7<O, I0, I1, I2, I3, I4, I5, I6>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6> IStable for StabbyVtableCallMut7<O, I0, I1, I2, I3, I4, I5, I6>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6, I7> IStable for StabbyVtableCall8<O, I0, I1, I2, I3, I4, I5, I6, I7>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6, I7> IStable for StabbyVtableCallMut8<O, I0, I1, I2, I3, I4, I5, I6, I7>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6, I7, I8> IStable for StabbyVtableCall9<O, I0, I1, I2, I3, I4, I5, I6, I7, I8>
where Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &(), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<O, I0, I1, I2, I3, I4, I5, I6, I7, I8> IStable for StabbyVtableCallMut9<O, I0, I1, I2, I3, I4, I5, I6, I7, I8>
where Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>>: IStable, StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>: IStable,

§

type ForbiddenValues = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<extern "C" fn(_: &mut (), _: I0, _: I1, _: I2, _: I3, _: I4, _: I5, _: I6, _: I7, _: I8) -> O, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<Offset, Mask> IStable for BitIsErr<Offset, Mask>

source§

impl<Offset, Value, Tail> IStable for ValueIsErr<Offset, Value, Tail>
where Tail: IStable,

§

type Size = <Tail as IStable>::Size

§

type Align = <Tail as IStable>::Align

§

type ForbiddenValues = <Tail as IStable>::ForbiddenValues

§

type UnusedBits = <Tail as IStable>::UnusedBits

§

type HasExactlyOneNiche = <Tail as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = B0

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 704_022_844_201_812_847u64

source§

impl<Ok, Err> IStable for stabby::result::Result<Ok, Err>

§

type ForbiddenValues = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::UnusedBits

§

type Size = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::Size

§

type Align = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<FieldPair<FieldPair<<Ok as IDeterminantProvider<Err>>::NicheExporter, <Ok as IDeterminantProvider<Err>>::Determinant>, MaybeUninit<Union<Padded<<Ok as IDeterminantProvider<Err>>::OkShift, Ok>, Padded<<Ok as IDeterminantProvider<Err>>::ErrShift, Err>>>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<Size, Align, HasExactlyOneNiche, ContainsIndirections> IStable for NoNiches<Size, Align, HasExactlyOneNiche, ContainsIndirections>
where Size: IUnsigned, Align: IPowerOf2, HasExactlyOneNiche: ISaturatingAdd, ContainsIndirections: IBit,

§

type Size = Size

§

type Align = Align

§

type ForbiddenValues = End

§

type UnusedBits = End

§

type HasExactlyOneNiche = HasExactlyOneNiche

§

type ContainsIndirections = ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = 2_120_157_440_290_168_855u64

source§

impl<T> IStable for AlignedAfter<T, UTerm>
where T: IStable,

§

type Align = <T as IStable>::Align

§

type Size = <T as IStable>::Size

§

type UnusedBits = <T as IStable>::UnusedBits

§

type ForbiddenValues = <T as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <T as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <T as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <T as IStable>::REPORT

source§

const ID: u64 = <T as IStable>::ID

source§

impl<T> IStable for NotPod<T>
where T: IStable,

source§

impl<T> IStable for Struct<T>
where T: IStable, (Struct<T>, <T as IStable>::Align): IStable,

§

type Align = <(Struct<T>, <T as IStable>::Align) as IStable>::Align

§

type Size = <(Struct<T>, <T as IStable>::Align) as IStable>::Size

§

type UnusedBits = <(Struct<T>, <T as IStable>::Align) as IStable>::UnusedBits

§

type ForbiddenValues = <(Struct<T>, <T as IStable>::Align) as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <(Struct<T>, <T as IStable>::Align) as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <(Struct<T>, <T as IStable>::Align) as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <(Self, T::Align) as IStable>::REPORT

source§

const ID: u64 = <(Self, T::Align) as IStable>::ID

source§

impl<T> IStable for VtSend<T>
where Struct<T>: IStable, T: IStable,

source§

impl<T> IStable for VtSync<T>
where Struct<T>: IStable, T: IStable,

source§

impl<T> IStable for stabby::option::Option<T>

source§

impl<T, Alloc> IStable for AllocPtr<T, Alloc>

source§

impl<T, Alloc> IStable for AllocSlice<T, Alloc>
where Struct<FieldPair<AllocPtr<T, Alloc>, NonNull<T>>>: IStable, AllocPtr<T, Alloc>: IStable, NonNull<T>: IStable,

source§

impl<T, Alloc> IStable for Box<T, Alloc>
where Alloc: IAlloc, Struct<AllocPtr<T, Alloc>>: IStable, AllocPtr<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for BoxedSlice<T, Alloc>
where Alloc: IAlloc + IStable, Struct<FieldPair<AllocSlice<T, Alloc>, Alloc>>: IStable, AllocSlice<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for Arc<T, Alloc>
where Alloc: IAlloc, Struct<AllocPtr<T, Alloc>>: IStable, AllocPtr<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for ArcSlice<T, Alloc>
where Alloc: IAlloc, Struct<AllocSlice<T, Alloc>>: IStable, AllocSlice<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for Weak<T, Alloc>
where Alloc: IAlloc, Struct<AllocPtr<T, Alloc>>: IStable, AllocPtr<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for WeakSlice<T, Alloc>
where Alloc: IAlloc, Struct<AllocSlice<T, Alloc>>: IStable, AllocSlice<T, Alloc>: IStable,

source§

impl<T, Alloc> IStable for IntoIter<T, Alloc>
where Alloc: IAlloc, Struct<FieldPair<Vec<T, Alloc>, usize>>: IStable, Vec<T, Alloc>: IStable, usize: IStable,

source§

impl<T, Alloc> IStable for SingleOrVec<T, Alloc>
where T: IStable, Alloc: IAlloc + IStable, Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>>: IStable, Result<Single<T, Alloc>, Vec<T, Alloc>>: IStable, Single<T, Alloc>: IDeterminantProvider<Vec<T, Alloc>>, Vec<T, Alloc>: IStable,

§

type ForbiddenValues = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::UnusedBits

§

type Size = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::Size

§

type Align = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<Result<Single<T, Alloc>, Vec<T, Alloc>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<T, Alloc> IStable for Vec<T, Alloc>
where Alloc: IAlloc, Struct<VecInner<T, Alloc>>: IStable, VecInner<T, Alloc>: IStable,

§

type ForbiddenValues = <Struct<VecInner<T, Alloc>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<VecInner<T, Alloc>> as IStable>::UnusedBits

§

type Size = <Struct<VecInner<T, Alloc>> as IStable>::Size

§

type Align = <Struct<VecInner<T, Alloc>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<VecInner<T, Alloc>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<VecInner<T, Alloc>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<T, As> IStable for StableLike<T, As>
where As: IStable,

source§

impl<T, B, Int> IStable for AlignedAfter<T, UInt<B, Int>>
where T: IStable, B: IUnsigned, Int: IBit, (AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align): IStable,

§

type Align = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::Align

§

type Size = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::Size

§

type UnusedBits = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::UnusedBits

§

type ForbiddenValues = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::ForbiddenValues

§

type HasExactlyOneNiche = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <(AlignedAfter<T, UInt<B, Int>>, <T as IStable>::Align) as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = <(Self, T::Align) as IStable>::REPORT

source§

const ID: u64 = <(Self, T::Align) as IStable>::ID

source§

impl<T, Cond> IStable for StableIf<T, Cond>
where T: IStable, Cond: IStable,

source§

impl<T, F> IStable for MaybeResolved<T, F>

source§

impl<_stabby_unselfed_0> IStable for StabbyVtableFuture<_stabby_unselfed_0>
where Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>>: IStable, StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>: IStable, _stabby_unselfed_0: IDeterminantProvider<()>,

§

type ForbiddenValues = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::UnusedBits

§

type Size = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::Size

§

type Align = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<StableLike<for<'a> extern "C" fn(_: &'a mut (), _: StableWaker<'a>) -> Option<_stabby_unselfed_0>, &'static ()>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<_stabby_unselfed_0> IStable for StabbyVtableIterator<_stabby_unselfed_0>
where Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>>: IStable, StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>: IStable, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>: IStable, _stabby_unselfed_0: IDeterminantProvider<()>,

§

type ForbiddenValues = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::ForbiddenValues

§

type UnusedBits = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::UnusedBits

§

type Size = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::Size

§

type Align = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::Align

§

type HasExactlyOneNiche = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::HasExactlyOneNiche

§

type ContainsIndirections = <Struct<FieldPair<StableLike<extern "C" fn(_: &()) -> Tuple<usize, Option<usize>>, &'static ()>, StableLike<extern "C" fn(_: &mut ()) -> Option<_stabby_unselfed_0>, &'static ()>>> as IStable>::ContainsIndirections

source§

const REPORT: &'static TypeReport = _

source§

const ID: u64 = _

source§

impl<const FORBIDDEN: i8> IStable for NonXI8<FORBIDDEN>

source§

impl<const FORBIDDEN: i16> IStable for NonXI16<FORBIDDEN>

source§

impl<const FORBIDDEN: i32> IStable for NonXI32<FORBIDDEN>

source§

impl<const FORBIDDEN: i64> IStable for NonXI64<FORBIDDEN>

source§

impl<const FORBIDDEN: i128> IStable for NonXI128<FORBIDDEN>

source§

impl<const FORBIDDEN: isize> IStable for NonXIsize<FORBIDDEN>

source§

impl<const FORBIDDEN: u8> IStable for NonXU8<FORBIDDEN>

source§

impl<const FORBIDDEN: u16> IStable for NonXU16<FORBIDDEN>

source§

impl<const FORBIDDEN: u32> IStable for NonXU32<FORBIDDEN>

source§

impl<const FORBIDDEN: u64> IStable for NonXU64<FORBIDDEN>

source§

impl<const FORBIDDEN: u128> IStable for NonXU128<FORBIDDEN>

source§

impl<const FORBIDDEN: usize> IStable for NonXUsize<FORBIDDEN>