about summary refs log tree commit diff
path: root/compiler/rustc_privacy/src
AgeCommit message (Expand)AuthorLines
2023-09-07Lint node for PRIVATE_BOUNDS is the item which has the boundsMichael Goulet-3/+4
2023-09-01Auto merge of #113126 - Bryanskiy:delete_old, r=petrochenkovbors-429/+15
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-21/+37
2023-08-13Add typed `{Local}DefId` for modulesNilstrieb-1/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-3/+3
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-08-02Replace old private-in-public diagnostic with type privacy lintsBryanskiy-429/+15
2023-07-30Weaken unnameable_types lintBryanskiy-5/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-28/+30
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-14/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-1/+0
2023-06-30Fix associated items effective visibility calculation for type privacy lintsBryanskiy-4/+7
2023-06-29Fix type privacy lints error messageBryanskiy-2/+3
2023-06-29Rollup merge of #112670 - petrochenkov:typriv, r=eholkMatthias Krüger-96/+77
2023-06-26TypeWellFormedInEnvMichael Goulet-0/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-17/+4
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-39/+29
2023-06-19Fully fledged Clause typeMichael Goulet-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-9/+11
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-3/+3
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-17`Bound::predicates` to return `Clause`dswij-3/+3
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+3
2023-06-15privacy: Rename some variables for clarityVadim Petrochenkov-7/+7
2023-06-15privacy: Do not mark items reachable farther than their nominal visibilityVadim Petrochenkov-7/+11
2023-06-15privacy: Remove `(Non)ShallowEffectiveVis`Vadim Petrochenkov-84/+61
2023-06-12Private-in-public lints implementationBryanskiy-49/+250
2023-06-08increase the accuracy of effective visibilities calculationBryanskiy-25/+21
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-2/+2
2023-05-22rustc_privacy: Reach underlying types of `impl Trait`s in a separate passVadim Petrochenkov-17/+29
2023-05-22rustc_privacy: Merge three matches on `ItemKind` into oneVadim Petrochenkov-112/+61
2023-05-22rustc_privacy: Remove some `Option`sVadim Petrochenkov-32/+25
2023-05-22rustc_privacy: Migrate `EmbargoVisitor` to `visit_all_item_likes_in_crate`Vadim Petrochenkov-18/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-11Populate effective visibilities in rustc_privacyBryanskiy-117/+157
2023-05-09Auto merge of #111371 - compiler-errors:revert-110907, r=petrochenkovbors-154/+117
2023-05-08Revert "Populate effective visibilities in `rustc_privacy`"Michael Goulet-154/+117
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-0/+33
2023-05-05Populate effective visibilities in `rustc_privacy`Bryanskiy-117/+154
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+33
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-12/+13
2023-05-02resolve: One more attempt to simplify `module_children`Vadim Petrochenkov-3/+5
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-12/+13
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-5/+2
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-2/+5
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+1
2023-04-12resolve: Pre-compute non-reexport module childrenVadim Petrochenkov-1/+1
2023-04-08rustc_middle: Remove `Option` from `module_reexports` queryVadim Petrochenkov-10/+6
2023-03-31Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkinbors-1/+1