Function miri::interpret::specialized_encode_alloc_id
source · pub fn specialized_encode_alloc_id<'tcx, E>(
encoder: &mut E,
tcx: TyCtxt<'tcx>,
alloc_id: AllocId
)where
E: TyEncoder<I = TyCtxt<'tcx>>,