aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge #8295bors[bot]2021-04-045-1/+398
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8295: Add `convert_into_to_from` assist r=Veykril a=obmarg This adds a "Convert Into to From" assist, useful since clippy has recently started adding lints on every `Into`. It covers converting the signature, and converting any `self`/`Self` references within the body. It does assume that every instance of `Into` can be converted to a `From`, which I _think_ is the case now. Let me know if there's something I'm not thinking of and I can try and make it smarter. Closes #8196 ![CleanShot 2021-04-02 at 13 39 54](https://user-images.githubusercontent.com/556490/113420108-9ce21c00-93c0-11eb-8c49-80b5fb189284.gif) I'm extremely new to this codebase so please let me know if anything needs changed. Co-authored-by: Graeme Coupar <[email protected]>
| * Convert Into to From assistGraeme Coupar2021-04-035-1/+398
| | | | | | | | | | | | | | | | | | | | | | | | This adds a "Convert Into to From" assist, useful since clippy has recently started adding lints on every `Into`. It covers converting the signature, and converting any `self`/`Self` references within the body to the correct types. It does assume that every instance of `Into` can be converted to a `From`, which I _think_ is the case now. Let me know if there's something I'm not thinking of and I can try and make it smarter.
* | Merge #8327bors[bot]2021-04-0420-373/+423
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8327: Move `Ty` creation methods out of `Ty` (Chalk move preparation) r=flodiebold a=flodiebold When we'll move to using `chalk_ir::Ty` (#8313), we won't be able to have our own inherent methods on `Ty` anymore, so we need to move the helpers elsewhere. This adds a `TyBuilder` that allows easily constructing `Ty` and related types (`TraitRef`, `ProjectionTy`, `Substitution`). It also replaces `SubstsBuilder`. `TyBuilder` can construct different things based on its type parameter; e.g. if it has an `AdtId`, we're constructing an ADT type, but if it has a `TraitId`, we're constructing a `TraitRef`. The common thing for all of them is that we need to build a `Substitution`, so the API stays the same for all of them except at the beginning and end. We also use `TyBuilder` to house various one-shot methods for constructing types, e.g. `TyBuilder::unit()`. Co-authored-by: Florian Diebold <[email protected]>
| * | Add commentFlorian Diebold2021-04-041-0/+3
| | |
| * | Replace Substitution::type_paramsFlorian Diebold2021-04-046-16/+15
| | |
| * | Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-047-54/+42
| | |
| * | Move TyBuilder to its own moduleFlorian Diebold2021-04-042-204/+221
| | |
| * | Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-044-64/+23
| | |
| * | Remove CallableSig::from_substsFlorian Diebold2021-04-041-11/+1
| | |
| * | Use TyBuilder in another placeFlorian Diebold2021-04-041-4/+3
| | |
| * | Some more TyBuilder useFlorian Diebold2021-04-042-33/+25
| | |
| * | Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-046-21/+46
| | |
| * | More TyBuilder useFlorian Diebold2021-04-041-12/+9
| | |
| * | More TyBuilder useFlorian Diebold2021-04-041-23/+15
| | |
| * | Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-046-39/+48
| | |
| * | Move Ty::builtin to TyBuilderFlorian Diebold2021-04-043-20/+20
| | |
| * | Add TyBuilder::adtFlorian Diebold2021-04-044-45/+104
| | |
| * | Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-042-11/+12
| | |
| * | Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-047-25/+39
| | |
| * | Add TyBuilderFlorian Diebold2021-04-041-0/+6
|/ /
* | Merge #8324bors[bot]2021-04-041-1/+11
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8324: Add `Body::shrink_to_fit` r=jonas-schievink a=jonas-schievink Saves ~15 MB bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Add `Body::shrink_to_fit`Jonas Schievink2021-04-041-1/+11
| | |
* | | Merge #8323bors[bot]2021-04-042-6/+8
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 8323: Only remember blocks that have a DefMap r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Only remember blocks that have a DefMapJonas Schievink2021-04-042-6/+8
|/ /
* | Merge #8322bors[bot]2021-04-044-5/+14
|\ \ | | | | | | | | | | | | | | | | | | | | | 8322: Access a body's block def maps via a method r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Access a body's block def maps via a methodJonas Schievink2021-04-044-5/+14
| | |
* | | Merge #8321bors[bot]2021-04-042-13/+38
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 8321: Use exhaustive matches in shrink_to_fit impls r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Use exhaustive matches in shrink_to_fit implsJonas Schievink2021-04-042-13/+38
|/ /
* | Merge #8320bors[bot]2021-04-0411-41/+32
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8320: Make `ast_to_token_tree` infallible r=jonas-schievink a=jonas-schievink It could never return `None`, so reflect that in the return type bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Make `ast_to_token_tree` infallibleJonas Schievink2021-04-0411-41/+32
|/ / | | | | | | It could never return `None`, so reflect that in the return type
* | Merge #8319bors[bot]2021-04-041-9/+1
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8319: Glob-reexport hir_def database types r=jonas-schievink a=jonas-schievink Avoids having to constantly adjust this list bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Glob-reexport hir_def database typesJonas Schievink2021-04-041-9/+1
|/ /
* | Merge #8318bors[bot]2021-04-034-1/+48
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8318: Use shrink_to_fit to reduce DefMap sizes r=jonas-schievink a=jonas-schievink Especially `block_def_map` can overallocate when there's not a lot of items in the `DefMap`. This saves around 10 MB during analysis-stats. Not too much, but a cheap win. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Use shrink_to_fit to reduce DefMap sizesJonas Schievink2021-04-034-1/+48
|/ /
* | Merge #8315bors[bot]2021-04-0312-75/+128
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8315: Try to reduce ItemTree size further r=jonas-schievink a=jonas-schievink This was mostly a failed experiment, but still seems like the right thing to do. Memory reduction is mostly negligible. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Use bitflags to compress function propertiesJonas Schievink2021-04-0311-71/+120
| | | | | | | | | | | | Very minor savings, only 1 MB or so
| * | Intern `ModPath` in `Import`Jonas Schievink2021-04-033-4/+8
|/ / | | | | | | Minor savings only
* | Merge #8312bors[bot]2021-04-031-14/+14
|\ \ | | | | | | | | | | | | | | | | | | | | | 8312: cargo update r=kjeremy a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]>
| * | cargo updateJeremy Kolb2021-04-031-14/+14
|/ /
* | Merge #8310bors[bot]2021-04-0317-75/+73
|\ \ | | | | | | | | | | | | | | | | | | | | | 8310: Rename Ty::interned to Ty::kind r=flodiebold a=flodiebold ... since that's the actual method on Chalk side that matches the signature. Co-authored-by: Florian Diebold <[email protected]>
| * | Rename Ty::interned to Ty::kindFlorian Diebold2021-04-0317-75/+73
|/ / | | | | | | ... since that's the actual method on Chalk side that matches the signature.
* | Merge #8309bors[bot]2021-04-0317-161/+323
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8309: Introduce `GenericArg` like in Chalk r=flodiebold a=flodiebold Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. Co-authored-by: Florian Diebold <[email protected]>
| * | Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-0317-161/+323
|/ / | | | | | | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* | Merge #8307bors[bot]2021-04-033-3/+33
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8307: Allow include! an empty content file r=edwin0cheng a=edwin0cheng fixes #8306 bors r+ Co-authored-by: Edwin Cheng <[email protected]>
| * | Allow include! an empty content fileEdwin Cheng2021-04-033-3/+33
|/ /
* | Merge #8305bors[bot]2021-04-031-2/+16
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8305: Fix joinLines panic if run on the empty last line r=edwin0cheng a=edwin0cheng fixes #8299 bors r+ Co-authored-by: Edwin Cheng <[email protected]>
| * | Fix joinLines panic if run on the empty last lineEdwin Cheng2021-04-031-2/+16
|/ /
* | Merge #8304bors[bot]2021-04-037-5/+67
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8304: Support the new `panic!()` macro r=jonas-schievink a=jonas-schievink Includes a minor fixup to macro 2.0 parsing. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Support `#[rustc_builtin_macro = "builtin_name"]`Jonas Schievink2021-04-031-1/+11
| | |
| * | Implement edition-dependent builtin `panic!` macroJonas Schievink2021-04-033-2/+26
| | |