diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2025-07-17 23:51:47 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2025-07-17 23:59:41 +0000 |
| commit | c004a96603bf8cfdd9ac462526a8e06ad6df5b66 (patch) | |
| tree | 15853d1286c1cce0d6113fb71d7041cde069ae2d /compiler/rustc_privacy | |
| parent | 247d4f405227d32b5e62f012d35815e4ad6ce0a2 (diff) | |
| download | rust-c004a96603bf8cfdd9ac462526a8e06ad6df5b66.tar.gz rust-c004a96603bf8cfdd9ac462526a8e06ad6df5b66.zip | |
Do not check privacy for RPITIT.
Diffstat (limited to 'compiler/rustc_privacy')
| -rw-r--r-- | compiler/rustc_privacy/src/lib.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_privacy/src/lib.rs b/compiler/rustc_privacy/src/lib.rs index 80c13e44d7d..9dd80bc9964 100644 --- a/compiler/rustc_privacy/src/lib.rs +++ b/compiler/rustc_privacy/src/lib.rs @@ -1624,6 +1624,10 @@ impl<'tcx> PrivateItemsInPublicInterfacesChecker<'_, 'tcx> { self.check(def_id, item_visibility, effective_vis).generics().predicates(); for assoc_item in tcx.associated_items(id.owner_id).in_definition_order() { + if assoc_item.is_impl_trait_in_trait() { + continue; + } + self.check_assoc_item(assoc_item, item_visibility, effective_vis); if assoc_item.is_type() { @@ -1736,6 +1740,10 @@ impl<'tcx> PrivateItemsInPublicInterfacesChecker<'_, 'tcx> { check.ty().trait_ref(); for assoc_item in tcx.associated_items(id.owner_id).in_definition_order() { + if assoc_item.is_impl_trait_in_trait() { + continue; + } + let impl_item_vis = if !of_trait { min(tcx.local_visibility(assoc_item.def_id.expect_local()), impl_vis, tcx) } else { |
