1
Fork 0

More compare_impl_item simplifications

This commit is contained in:
Michael Goulet 2024-10-20 18:17:11 +00:00
parent 73a37a165e
commit 21d95fb7b2
3 changed files with 95 additions and 76 deletions

View file

@ -395,7 +395,9 @@ impl<'tcx> GenericPredicates<'tcx> {
EarlyBinder::bind(self.predicates).iter_instantiated_copied(tcx, args)
}
pub fn instantiate_own_identity(self) -> impl Iterator<Item = (Clause<'tcx>, Span)> {
pub fn instantiate_own_identity(
self,
) -> impl Iterator<Item = (Clause<'tcx>, Span)> + DoubleEndedIterator + ExactSizeIterator {
EarlyBinder::bind(self.predicates).iter_identity_copied()
}