add instrument to register_predicate_obligation

This commit is contained in:
lcnr 2023-06-27 23:10:36 +02:00
parent bd0d533d23
commit 4d42de6d1b

View File

@ -41,6 +41,7 @@ pub fn new(infcx: &InferCtxt<'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>,