Function eval_to_allocation_raw 

pub fn eval_to_allocation_raw<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: &PseudoCanonicalInput<'tcx, GlobalId<'tcx>>,
) -> bool