pub fn new_allocation<'tcx>(
    ty: Ty<'tcx>,
    const_value: ConstValue<'tcx>,
    tables: &mut Tables<'tcx>
) -> Allocation