Type Definition rustc_middle::ty::query::query_storage::evaluate_goal

type evaluate_goal<'tcx> = DefaultCache<Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>, Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>>;