1
Fork 0

new solver: improve instrument annotations

This commit is contained in:
lcnr 2023-11-29 19:27:04 +01:00
parent abe34e9ab1
commit 0ec2bf3e0a
3 changed files with 4 additions and 1 deletions

View file

@ -490,6 +490,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
}
}
#[instrument(level = "debug", skip_all)]
fn assemble_unsize_to_dyn_candidate<G: GoalKind<'tcx>>(
&mut self,
goal: Goal<'tcx, G>,
@ -507,6 +508,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
}
}
#[instrument(level = "debug", skip_all)]
fn assemble_blanket_impl_candidates<G: GoalKind<'tcx>>(
&mut self,
goal: Goal<'tcx, G>,