Type Definition rustc_middle::ty::query::query_keys::evaluate_goal [−][src]
type evaluate_goal<'tcx> = CanonicalChalkEnvironmentAndGoal<'tcx>;
type evaluate_goal<'tcx> = CanonicalChalkEnvironmentAndGoal<'tcx>;