iter_identity is a better name

This commit is contained in:
Michael Goulet 2024-07-06 11:54:22 -04:00
parent 4d261774b7
commit 7ce4a49911

View File

@ -99,7 +99,7 @@ fn contains_ty_adt_constructor_opaque_inner<'tcx>(
for (predicate, _span) in cx for (predicate, _span) in cx
.tcx .tcx
.explicit_item_super_predicates(def_id) .explicit_item_super_predicates(def_id)
.instantiate_identity_iter_copied() .iter_identity_copied()
{ {
match predicate.kind().skip_binder() { match predicate.kind().skip_binder() {
// For `impl Trait<U>`, it will register a predicate of `T: Trait<U>`, so we go through // For `impl Trait<U>`, it will register a predicate of `T: Trait<U>`, so we go through