mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-25 08:13:41 +00:00
Fix occurrences of old fn names in comment and tracing
This commit is contained in:
parent
61a3eea804
commit
8cf94c955f
@ -998,7 +998,7 @@ impl<'a, 'tcx> ProofTreeVisitor<'tcx> for AmbiguityCausesVisitor<'a> {
|
||||
|
||||
let Goal { param_env, predicate } = goal.goal();
|
||||
|
||||
// For bound predicates we simply call `infcx.replace_bound_vars_with_placeholders`
|
||||
// For bound predicates we simply call `infcx.instantiate_binder_with_placeholders`
|
||||
// and then prove the resulting predicate as a nested goal.
|
||||
let trait_ref = match predicate.kind().no_bound_vars() {
|
||||
Some(ty::PredicateKind::Clause(ty::ClauseKind::Trait(tr))) => tr.trait_ref,
|
||||
|
@ -61,7 +61,7 @@ fn resolve_instance<'tcx>(
|
||||
|
||||
Ok(Some(Instance { def, args }))
|
||||
};
|
||||
debug!("inner_resolve_instance: result={:?}", result);
|
||||
debug!("resolve_instance: result={:?}", result);
|
||||
result
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user