1
Fork 0
This commit is contained in:
lcnr 2023-07-03 09:24:02 +02:00
parent 30ed152330
commit be6a344365
2 changed files with 2 additions and 2 deletions

View file

@ -41,7 +41,7 @@ impl<'tcx> FulfillmentCtxt<'tcx> {
}
impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx> {
#[instrument(level = "debug", skip(self, _infcx))]
#[instrument(level = "debug", skip(self, infcx))]
fn register_predicate_obligation(
&mut self,
infcx: &InferCtxt<'tcx>,