fn eval_in_interpreter<'tcx, R: InterpretationResult<'tcx>>(
    tcx: TyCtxt<'tcx>,
    cid: GlobalId<'tcx>,
    param_env: ParamEnv<'tcx>
) -> Result<R, ErrorHandled>