use rustc_hir::def_id::DefId;
use rustc_middle::mir::interpret::ConstAllocation;
use super::BackendTypes;