Struct rustc_middle::mir::query::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

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

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

impl Clone for UnsafetyCheckResult

pub fn clone(&self) -> UnsafetyCheckResult

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

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

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

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

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

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

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

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

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

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