summary refs log tree commit diff
path: root/compiler/rustc_save_analysis/src
AgeCommit message (Collapse)AuthorLines
2021-03-30Remove hir::CrateItem.Camille GILLOT-10/+5
2021-03-27Fix compiler docsJoshua Nelson-1/+1
2021-03-27Remove (lots of) dead codeJoshua Nelson-14/+4
Found with https://github.com/est31/warnalyzer. Dubious changes: - Is anyone else using rustc_apfloat? I feel weird completely deleting x87 support. - Maybe some of the dead code in rustc_data_structures, in case someone wants to use it in the future? - Don't change rustc_serialize I plan to scrap most of the json module in the near future (see https://github.com/rust-lang/compiler-team/issues/418) and fixing the tests needed more work than I expected. TODO: check if any of the comments on the deleted code should be kept.
2021-03-25Auto merge of #83424 - cjgillot:noparam, r=lcnrbors-9/+0
GenericParam does not need to be a HIR owner. The special case is not required. Universal impl traits design to regular generic parameters, and their content is owned by the enclosing item. Existential (and opaque) impl traits generate their own enclosing item, and are collected through it.
2021-03-23GenericParam does not need to be a HIR owner.Camille GILLOT-9/+0
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-3/+4
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-6/+6
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::Item::attrs.Camille GILLOT-16/+20
2021-03-09Remove hir::ImplItem::attrs.Camille GILLOT-4/+5
2021-03-09Remove hir::TraitItem::attrs.Camille GILLOT-9/+8
2021-03-09Remove hir::ForeignItem::attrs.Camille GILLOT-4/+5
2021-03-09Remove hir::StructField::attrs.Camille GILLOT-2/+3
2021-03-09Remove hir::Variant::attrs.Camille GILLOT-10/+6
2021-03-09Remove hir::Crate::attrs.Camille GILLOT-2/+3
2021-02-15Only store a LocalDefId in hir::ForeignItem.Camille GILLOT-8/+8
2021-02-15Only store a LocalDefId in hir::ImplItem.Camille GILLOT-3/+3
2021-02-15Only store a LocalDefId in hir::TraitItem.Camille GILLOT-10/+7
2021-02-15Only store a LocalDefId in hir::Item.Camille GILLOT-89/+60
Items are guaranteed to be HIR owner.
2021-02-15Use ItemId as a strongly typed index.Camille GILLOT-2/+2
2021-01-14Use Option::map_or instead of `.map(..).unwrap_or(..)`LingMan-1/+1
2021-01-12Separate out a `hir::Impl` structJoshua Nelson-19/+10
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-02reduce borrowing and (de)referencing around match patterns ↵Matthias Krüger-3/+3
(clippy::match_ref_pats)
2021-01-01const_generics_defaults: don't use todoRémy Rakic-1/+0
So that at least it won't ICE for users whether or not they enable the gate. For developers the FIXMEs are enough.
2021-01-01first pass at default values for const genericsJulian Knodt-2/+9
- Adds optional default values to const generic parameters in the AST and HIR - Parses these optional default values - Adds a `const_generics_defaults` feature gate
2020-12-22Rework beautify_doc_string so that it returns a Symbol instead of a StringGuillaume Gomez-1/+1
2020-11-26Remove ForeignMod struct.Camille GILLOT-1/+1
2020-11-15Rollup merge of #78352 - JohnTitor:issue-75229, r=Dylan-DPCDylan DPC-2/+2
Do not call `unwrap` with `signatures` option enabled Fixes #75229 Didn't add a test since I couldn't set `RUST_SAVE_ANALYSIS_CONFIG` even with `rustc-env`.
2020-11-11Implement destructuring assignment for structs and slicesFabian Zaiser-4/+6
Co-authored-by: varkor <github@varkor.com>
2020-10-27Show the inline stack of MIR lints that only occur after inliningOliver Scherer-1/+3
2020-10-27Rollup merge of #78349 - JohnTitor:issue-75962, r=davidtwcoYuki Okushi-6/+11
Use its own `TypeckResults` to avoid ICE Fixes #75962
2020-10-25Do not call `unwrap` with `signatures` option enabledYuki Okushi-2/+2
2020-10-25Fix small typosYuki Okushi-3/+3
2020-10-25Use its own `TypeckResults` to avoid ICEYuki Okushi-3/+8
2020-10-22fix save-analysisBastian Kauschke-1/+11
2020-09-23/nightly/nightly-rustcErik Hofmayer-1/+1
2020-09-23Updated html_root_url for compiler cratesErik Hofmayer-1/+1
2020-09-10use push(char) instead of push_str(&str) to add single chars to stringsMatthias Krüger-2/+2
clippy::single-char-push-str
2020-09-04Change ty.kind to a methodLeSeulArtichaut-3/+3
2020-09-02pretty: trim paths of unique symbolsDan Aloni-23/+25
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-08-30mv compiler to compiler/mark-0/+3732