Rollup merge of #111265 - spastorino:has_self-opaque_ty, r=compiler-errors

Make generics_of has_self on RPITITs delegate to the opaque

r? `@compiler-errors`

I couldn't come up with a test case and none of the ones in the `tests` folder is impacted by this change, but I still think is the right thing to do.

Michael, let me know if you have ideas on how to add a test that's affected by this change.
This commit is contained in:
Dylan DPC 2023-05-08 11:39:22 +05:30 committed by GitHub
commit 940567068c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -334,7 +334,7 @@ fn associated_type_for_impl_trait_in_trait(
parent_count,
params,
param_def_id_to_index,
has_self: false,
has_self: opaque_ty_generics.has_self,
has_late_bound_regions: opaque_ty_generics.has_late_bound_regions,
}
});