pub enum HeaderSafety {
    SafeTargetFeatures,
    Normal(Safety),
}Expand description
The actual safety specified in syntax. We may treat its safety different within the type system to create a “sound by default” system that needs checking this enum explicitly to allow unsafe operations.
Variants§
SafeTargetFeatures
A safe function annotated with #[target_features].
The type system treats this function as an unsafe function,
but safety checking will check this enum to treat it as safe
and allowing calling other safe target feature functions with
the same features without requiring an additional unsafe block.
Normal(Safety)
Trait Implementations§
Source§impl Clone for HeaderSafety
 
impl Clone for HeaderSafety
Source§fn clone(&self) -> HeaderSafety
 
fn clone(&self) -> HeaderSafety
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
 
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for HeaderSafety
 
impl Debug for HeaderSafety
Source§impl From<Safety> for HeaderSafety
 
impl From<Safety> for HeaderSafety
Source§impl<__CTX> HashStable<__CTX> for HeaderSafetywhere
    __CTX: HashStableContext,
 
impl<__CTX> HashStable<__CTX> for HeaderSafetywhere
    __CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Source§impl PartialEq for HeaderSafety
 
impl PartialEq for HeaderSafety
impl Copy for HeaderSafety
impl Eq for HeaderSafety
impl StructuralPartialEq for HeaderSafety
Auto Trait Implementations§
impl DynSend for HeaderSafety
impl DynSync for HeaderSafety
impl Freeze for HeaderSafety
impl RefUnwindSafe for HeaderSafety
impl Send for HeaderSafety
impl Sync for HeaderSafety
impl Unpin for HeaderSafety
impl UnwindSafe for HeaderSafety
Blanket Implementations§
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
    T: Copy,
 
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
    T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
Source§impl<T> BorrowMut<T> for Twhere
    T: ?Sized,
 
impl<T> BorrowMut<T> for Twhere
    T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
 
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
    T: Clone,
 
impl<T> CloneToUninit for Twhere
    T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
 
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
 
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
 
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.Source§impl<T> Instrument for T
 
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
 
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
 
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
 
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
 
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
 
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
 
impl<T> Pointable for T
Source§impl<T> WithSubscriber for T
 
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
 
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
 
fn with_current_subscriber(self) -> WithDispatch<Self>
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
SafeTargetFeatures: 0 bytesNormal: 1 byte