Skip to content
Permalink
Browse files

add `debug!` to evaluate_obligation

  • Loading branch information...
nikomatsakis committed Oct 7, 2019
1 parent 1dba4b0 commit 08c0e841a7a9af0f2466fc75383c629e656825a3
Showing with 2 additions and 0 deletions.
  1. +2 −0 src/librustc_traits/evaluate_obligation.rs
@@ -17,10 +17,12 @@ fn evaluate_obligation<'tcx>(
tcx: TyCtxt<'tcx>,
canonical_goal: CanonicalPredicateGoal<'tcx>,
) -> Result<EvaluationResult, OverflowError> {
debug!("evaluate_obligation(canonical_goal={:#?})", canonical_goal);
tcx.infer_ctxt().enter_with_canonical(
DUMMY_SP,
&canonical_goal,
|ref infcx, goal, _canonical_inference_vars| {
debug!("evaluate_obligation: goal={:#?}", goal);
let ParamEnvAnd {
param_env,
value: predicate,

0 comments on commit 08c0e84

Please sign in to comment.
You can’t perform that action at this time.