add instrument to register_predicate_obligation

lcnr · lcnr · commit 4d42de6d1bfa · 2023-07-03T09:12:14.000+02:00
diff --git a/compiler/rustc_trait_selection/src/solve/fulfill.rs b/compiler/rustc_trait_selection/src/solve/fulfill.rs
@@ -41,6 +41,7 @@ impl<'tcx> FulfillmentCtxt<'tcx> {
 }
 
 impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx> {
+    #[instrument(level = "debug", skip(self, _infcx))]
     fn register_predicate_obligation(
         &mut self,
         infcx: &InferCtxt<'tcx>,

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,7 @@ impl<'tcx> FulfillmentCtxt<'tcx> {`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx> {`
	`44`	`+ #[instrument(level = "debug", skip(self, _infcx))]`
`44`	`45`	`fn register_predicate_obligation(`
`45`	`46`	`&mut self,`
`46`	`47`	`infcx: &InferCtxt<'tcx>,`