Function resolve_alloc 

fn resolve_alloc<'tcx>(
    tcx: TyCtxt<'tcx>,
    alloc_id: AllocId,
) -> Result<&'tcx Allocation, ()>