// Set used to detect infinite recursion.
let mut ty_set = FxHashSet::default();
- let mut fulfill_cx = TraitEngine::new(infcx.tcx);
+ let mut fulfill_cx = <dyn TraitEngine<'_>>::new(infcx.tcx);
let cause = ObligationCause::dummy();
let mut constraints = DtorckConstraint::empty();