Method monomorphize

src/detector/memory/invalid_free.rs:263–269

(&self, instance: &Instance<'tcx>, ty: Ty<'tcx>)

    }

    fn monomorphize(&self, instance: &Instance<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx> {
        instance.instantiate_mir_and_normalize_erasing_regions(
            self.tcx,
            ty::TypingEnv::fully_monomorphized(),
            EarlyBinder::bind(ty),
        )
    }

    /// Detect mem::uninitialized()
    fn detect_uninitialized(