Type Definition rustc_middle::ty::query::query_values::evaluate_obligation [−][src]
type evaluate_obligation<'tcx> = Result<EvaluationResult, OverflowError>;
type evaluate_obligation<'tcx> = Result<EvaluationResult, OverflowError>;