Type Definition rustc_middle::ty::query::query_keys::evaluate_obligation[−][src]

type evaluate_obligation<'tcx> = CanonicalPredicateGoal<'tcx>;