Struct rustc_middle::mir::terminator::UnsafetyCheckResult

pub struct UnsafetyCheckResult {
    pub violations: Vec<UnsafetyViolation>,
    pub used_unsafe_blocks: FxHashSet<HirId>,
    pub unused_unsafes: Option<Vec<(HirId, UnusedUnsafe)>>,
}

Fields

violations: Vec<UnsafetyViolation>

Violations that are propagated upwards from this function.

used_unsafe_blocks: FxHashSet<HirId>

Used unsafe blocks in this function. This is used for the “unused_unsafe” lint.

unused_unsafes: Option<Vec<(HirId, UnusedUnsafe)>>

This is Some iff the item is not a closure.

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> 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 Debug for UnsafetyCheckResult

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

Formats the value using the given formatter.

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

fn decode(decoder: &mut D) -> Self

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

fn decode(__decoder: &mut __D) -> Self

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

fn encode(&self, __encoder: &mut __E)

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

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

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

fn decode(decoder: &mut D) -> &'tcx 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: 80 bytes