Lines Matching refs:invariant

114         let byte = byte.transmute_with::<u8, invariant::Valid, CastSizedExact, BecauseImmutable>();
143 …    let c = c.transmute_with::<Unalign<u32>, invariant::Valid, CastSizedExact, BecauseImmutable>();
176         let c = c.transmute_with::<[u8], invariant::Valid, CastUnsized, BecauseImmutable>();
186 …  let n = n.transmute_with::<Unalign<$prim>, invariant::Valid, CastSizedExact, BecauseImmutable>();
424             use crate::pointer::{SizeEq, TransmuteFrom, invariant::Valid};
864         A: invariant::Alignment,  in is_bit_valid()
1108                 (Aliasing, Alignment, crate::invariant::Uninit),
1113                 Aliasing: crate::invariant::Aliasing,
1114                 Alignment: crate::invariant::Alignment,
1125                 type Invariants = (Aliasing, Alignment, crate::invariant::Uninit);
1134                 (Aliasing, Alignment, crate::invariant::Initialized),
1139                 Aliasing: crate::invariant::Aliasing,
1140                 Alignment: crate::invariant::Alignment,
1151                 type Invariants = (Aliasing, Alignment, crate::invariant::Initialized);
1160                 (Aliasing, Alignment, crate::invariant::Valid),
1165                 Aliasing: crate::invariant::Aliasing,
1166                 Alignment: crate::invariant::Alignment,
1177                 type Invariants = (Aliasing, Alignment, crate::invariant::Valid);