Rollup merge of #118115 - spastorino:fix-old-fn-names, r=compiler-errors

Fix occurrences of old fn names in comment and tracing
This commit is contained in:
Nilstrieb 2023-11-21 09:06:30 +01:00 committed by GitHub
commit 90e4c2dc3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -1010,7 +1010,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,

View File

@ -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
}