Lines Matching refs:Sealed

19 pub trait Invariants: Sealed {
37 pub trait Aliasing: Sealed {
44 pub trait Alignment: Sealed {
96 pub unsafe trait Validity: Sealed {
113 pub trait Reference: Aliasing + Sealed {}
277 use sealed::Sealed;
281     pub trait Sealed {}  trait
283     impl Sealed for Shared {}
284     impl Sealed for Exclusive {}
286     impl Sealed for Unaligned {}
287     impl Sealed for Aligned {}
289     impl Sealed for Uninit {}
290     impl Sealed for AsInitialized {}
291     impl Sealed for Initialized {}
292     impl Sealed for Valid {}
294     impl<A: Sealed, AA: Sealed, V: Sealed> Sealed for (A, AA, V) {}  impl
296     impl Sealed for BecauseImmutable {}
297     impl Sealed for BecauseExclusive {}