1
Fork 0

Remove trivial Binder::dummy calls

This commit is contained in:
Michael Goulet 2024-05-15 12:52:12 -04:00
parent 6d817365e5
commit 7b3d6dad20
9 changed files with 9 additions and 9 deletions

View file

@ -734,7 +734,7 @@ fn type_implements_negative_copy_modulo_regions<'tcx>(
cause: traits::ObligationCause::dummy(),
param_env,
recursion_depth: 0,
predicate: ty::Binder::dummy(pred).upcast(tcx),
predicate: pred.upcast(tcx),
};
tcx.infer_ctxt().build().predicate_must_hold_modulo_regions(&obligation)