summary refs log tree commit diff
path: root/compiler/rustc_privacy/src
AgeCommit message (Collapse)AuthorLines
2021-07-06Make resolutions a query.Camille GILLOT-1/+1
2021-06-09Add more tests + visit_ty in some placesEllen-4/+4
2021-06-08Support as casts in abstract constsEllen-3/+4
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-1/+1
2021-05-30Make resolutions a query.Camille GILLOT-1/+1
2021-05-24remove cfg(bootstrap)Pietro Albini-1/+0
2021-05-12Use () for privacy.Camille GILLOT-8/+4
2021-04-19fix few typosklensy-1/+1
2021-03-23Update with commentskadmin-4/+2
A bunch of nits fixed, and a new test for pretty printing the AST.
2021-03-23Some refactoringvarkor-0/+1
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-2/+7
This currently creates a field which is always false on GenericParamDefKind for future use when consts are permitted to have defaults Update const_generics:default locations Previously just ignored them, now actually do something about them. Fix using type check instead of value Add parsing This adds all the necessary changes to lower const-generics defaults from parsing. Change P<Expr> to AnonConst This matches the arguments passed to instantiations of const generics, and makes it specific to just anonymous constants. Attempt to fix lowering bugs
2021-03-19stabilize or_patternsmark-1/+1
2021-03-16ast/hir: Rename field-related structuresVadim Petrochenkov-2/+2
StructField -> FieldDef ("field definition") Field -> ExprField ("expression field", not "field expression") FieldPat -> PatField ("pattern field", not "field pattern") Also rename visiting and other methods working on them.
2021-03-09Remove hir::MacroDef::attrs.Camille GILLOT-1/+2
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-4/+23
Ensure valid TraitRefs are created for GATs This fixes `ProjectionTy::trait_ref` to use the correct substs. Places that need all of the substs have been updated to not use `trait_ref`. r? ````@jackh726````
2021-02-18Auto merge of #81574 - tmiasko:p, r=oli-obkbors-33/+21
Precompute ancestors when checking privacy Precompute ancestors of the old error node set so that check for private types and traits in public interfaces can in constant time determine if the current item has any descendants in the old error set. This removes disparity in compilation time between public and private type aliases reported in #50614 (from 30 s to 5 s, in an example making extensive use of private type aliases). No functional changes intended.
2021-02-15Only store a LocalDefId in hir::MacroDef.Camille GILLOT-5/+3
2021-02-15Only store a LocalDefId in hir::ForeignItem.Camille GILLOT-6/+6
2021-02-15Only store a LocalDefId in hir::ImplItem.Camille GILLOT-13/+11
2021-02-15Only store a LocalDefId in hir::TraitItem.Camille GILLOT-4/+4
2021-02-15Only store a LocalDefId in hir::Item.Camille GILLOT-32/+32
Items are guaranteed to be HIR owner.
2021-02-15Use ItemId as a strongly typed index.Camille GILLOT-2/+2
2021-02-13Remove some unnecessary `trait_ref` callsMatthew Jasper-4/+23
2021-02-01more things are const evaluatable *sparkles*Ellen-1/+1
2021-01-31Add error message for private fnkadmin-7/+34
Bless tests Update with changes from comments
2021-01-30Precompute ancestors when checking privacyTomasz Miąsko-33/+21
Precompute ancestors of the old error node set so that check for private types and traits in public interfaces can in constant time determine if the current item has any descendants in the old error set. No functional changes intended.
2021-01-16Review changesJack Huey-6/+6
2021-01-12Separate out a `hir::Impl` structJoshua Nelson-22/+22
This makes it possible to pass the `Impl` directly to functions, instead of having to pass each of the many fields one at a time. It also simplifies matches in many cases.
2021-01-06Fixed non-declarative-nor-opaque macros effective privacy.Daniel Henry-Mantilla-14/+8
cc @petrochenkov
2021-01-06WIP: attempt to fix the undocument re-export issueDaniel Henry-Mantilla-2/+13
2020-12-30Rollup merge of #80495 - jyn514:rename-empty, r=petrochenkovMara Bos-1/+1
Rename kw::Invalid -> kw::Empty See https://rust-lang.zulipchat.com/#narrow/stream/182449-t-compiler.2Fhelp/topic/Is.20there.20a.20symbol.20for.20the.20empty.20string.3F/near/220054471 for context. r? `@petrochenkov`
2020-12-30Rename kw::Invalid -> kw::EmptyJoshua Nelson-1/+1
See https://rust-lang.zulipchat.com/#narrow/stream/182449-t-compiler.2Fhelp/topic/Is.20there.20a.20symbol.20for.20the.20empty.20string.3F/near/220054471 for context.
2020-12-26Remove FIXME in rustc_privacyJoshua Nelson-3/+1
2020-12-11Move binder for dyn to each list itemJack Huey-2/+2
2020-11-26Remove ForeignMod struct.Camille GILLOT-8/+8
2020-11-26Store ForeignItem in a side table.Camille GILLOT-5/+5
2020-11-22Fix typo in commentJoshua Nelson-1/+1
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-12/+23
2020-11-05Fix even more URLsGuillaume Gomez-1/+1
2020-10-30Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obkbors-63/+87
TypeVisitor: use `std::ops::ControlFlow` instead of `bool` Implements MCP rust-lang/compiler-team#374. Blocked on FCP in rust-lang/compiler-team#374. r? `@lcnr` cc `@jonas-schievink`
2020-10-30Fix some more clippy warningsJoshua Nelson-3/+5
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-13/+13
2020-10-30Use `ControlFlow::is{break,continue}`LeSeulArtichaut-8/+9
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{mir,privacy,traits,typeck}LeSeulArtichaut-62/+85
2020-10-19Calculate visibilities once in resolveVadim Petrochenkov-138/+81
Then use them through a query based on resolver outputs
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-3/+18
2020-09-23/nightly/nightly-rustcErik Hofmayer-1/+1
2020-09-23Updated html_root_url for compiler cratesErik Hofmayer-1/+1
2020-09-20Rollup merge of #76821 - est31:remove_redundant_nightly_features, ↵Ralf Jung-1/+0
r=oli-obk,Mark-Simulacrum Remove redundant nightly features Removes a bunch of redundant/outdated nightly features. The first commit removes a `core_intrinsics` use for which a stable wrapper has been provided since. The second commit replaces the `const_generics` feature with `min_const_generics` which might get stabilized this year. The third commit is the result of a trial/error run of removing every single feature and then adding it back if compile failed. A bunch of unused features are the result that the third commit removes.
2020-09-18support const_evaluatable_checked across crate boundariesBastian Kauschke-0/+9