Function miri::specialized_encode_alloc_id

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