fn mark_inner_allocation_initialized(
        &mut self,
        alloc: AllocId,
        mutability: Mutability,
    ) -> EvalResult<'tcx> {
        match self.alloc_kind.get(&alloc) {
            // do not go into statics
            None => Ok(()),
            // just locals and machine allocs
            Some(_) => self.mark_static_initialized(alloc, mutability),
        }
    }
/// mark an allocation pointed to by a static as static and initialized
mark an allocation pointed to by a static as static and initialized
mark an allocation pointed to by a static as static and initialized
fn mark_inner_allocation_initialized(
        &mut self,
        alloc: AllocId,
        mutability: Mutability,
    ) -> EvalResult<'tcx> {
        match self.alloc_kind.get(&alloc) {
            // do not go into statics
            None => Ok(()),
            // just locals and machine allocs
            Some(_) => self.mark_static_initialized(alloc, mutability),
        }
    }
fn mark_inner_allocation_initialized ( & mut self , alloc : AllocId , mutability : Mutability , ) -> EvalResult < ' tcx > { match self . alloc_kind . get ( & alloc ) { // do not go into statics None => Ok ( ( ) ) , // just locals and machine allocs Some ( _ ) => self . mark_static_initialized ( alloc , mutability ) , } }
mark an allocation pointed to by a static as static and initialized
mark an allocation pointed to by a static as static and initialized
&mut self
alloc
AllocId
mutability
Mutability