Struct rustc_middle::mir::terminator::UnsafetyCheckResult

pub struct UnsafetyCheckResult {
    pub violations: Lrc<[UnsafetyViolation]>,
    pub unsafe_blocks: Lrc<[(HirId, bool)]>,
}

Fields

violations: Lrc<[UnsafetyViolation]>

Violations that are propagated upwards from this function.

unsafe_blocks: Lrc<[(HirId, bool)]>

unsafe blocks in this function, along with whether they are used. This is used for the “unused_unsafe” lint.

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx, UnsafetyCheckResult> for UnsafetyCheckResult

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl Clone for UnsafetyCheckResult

fn clone(&self) -> UnsafetyCheckResult

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UnsafetyCheckResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for &'tcx UnsafetyCheckResult

fn decode(decoder: &mut D) -> Result<Self, D::Error>

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for UnsafetyCheckResult

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for &'tcx UnsafetyCheckResult

fn encode(&self, e: &mut E) -> Result<(), E::Error>

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for UnsafetyCheckResult

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for UnsafetyCheckResult

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<'tcx, D: TyDecoder<'tcx>> RefDecodable<'tcx, D> for UnsafetyCheckResult

fn decode(decoder: &mut D) -> Result<&'tcx Self, D::Error>

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 32 bytes