aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Intern typesFlorian Diebold2021-04-081-3/+7
| | | | Performance about the same, memory reduced by ~5%.
* Intern SubstitutionsFlorian Diebold2021-04-088-27/+34
| | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.)
* Intern VariableKindsFlorian Diebold2021-04-081-4/+14
|
* Merge #8431bors[bot]2021-04-081-2/+12
|\ | | | | | | | | | | | | | | 8431: 8024: Added the trait highlight modifier for assoc types. r=Veykril a=chetankhilosiya Co-authored-by: Chetan Khilosiya <[email protected]>
| * 8024: Added the trait modifier for assoc types.Chetan Khilosiya2021-04-081-2/+12
|/
* Merge #8428bors[bot]2021-04-087-33/+40
|\ | | | | | | | | | | | | | | | | | | 8428: Use named fields in `MacroCallKind` r=jonas-schievink a=jonas-schievink bors r+ changelog skip Co-authored-by: Jonas Schievink <[email protected]>
| * Use named fields in `MacroCallKind`Jonas Schievink2021-04-087-33/+40
|/
* Merge #8426bors[bot]2021-04-081-1/+1
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8426: Track recursion limit when expanding custom derive r=jonas-schievink a=jonas-schievink You can write a custom derive that expands to itself: ```rust #[proc_macro_derive(Derive)] pub fn derive(item: TokenStream) -> TokenStream { let mut out: TokenStream = "#[derive(Derive)]".parse().unwrap(); out.extend(item); out } ``` rustc reports a recursion limit error, but rust-analyzer used to spin in name resolution and eventually fail with "name resolution is stuck". This makes it fail fast by respecting the recursion depth of the invocation. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Track recursion limit when expanding custom deriveJonas Schievink2021-04-081-1/+1
|/
* Merge #8421bors[bot]2021-04-081-13/+30
|\ | | | | | | | | | | | | | | 8421: Reduce allocations in "Expand macro" formatter r=edwin0cheng a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * Reduce allocations in Expand macroLaurențiu Nicola2021-04-081-13/+30
| |
| |
| \
*-. \ Merge #8419 #8423bors[bot]2021-04-0819-1550/+344
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8419: Move hir_ty to Chalk IR r=flodiebold a=flodiebold Closes #8313. There's some further cleanups to do: - we're still using our `TypeWalk` in lots of places (not for mutating/folding though, just for walking) - we're still using our own canonicalization and unification and our `InferenceTable` - ~`ToChalk` still exists and gets called, it's just the identity in most cases now (I'll probably clean those up before merging this)~ 8423: Bump lsp-types and syn r=kjeremy a=kjeremy This lsp-types now supports a default InsertTextMode for completion and a per-completion item commit_characters Co-authored-by: Florian Diebold <[email protected]> Co-authored-by: kjeremy <[email protected]>
| | * | Bump lsp-types and synkjeremy2021-04-082-5/+5
| | | | | | | | | | | | | | | | This lsp-types now supports a default InsertTextMode for completion and a per-completion item commit_characters
| * | | Remove unusedFlorian Diebold2021-04-0814-69/+20
| | | |
| * | | Replace `make_binders` by the now equivalent `make_only_type_binders`Florian Diebold2021-04-082-35/+22
| | | |
| * | | Remove identity impls for ToChalkFlorian Diebold2021-04-084-215/+21
| | | |
| * | | Fix `Canonicalized::apply_solution`Florian Diebold2021-04-081-13/+16
| | | | | | | | | | | | | | | | | | | | | | | | Now that we're using Chalk's `substitute` which actually knows about lifetimes, the hack doesn't work anymore, but we can put in a proper lifetime.
| * | | Fix missing match armsFlorian Diebold2021-04-085-3/+23
| | | |
| * | | Fix remaining `interned_mut` callFlorian Diebold2021-04-081-4/+6
| | | |
| * | | Replace remaining `fold` callsFlorian Diebold2021-04-083-59/+104
| | | |
| * | | Replace some `fold` callsFlorian Diebold2021-04-084-47/+53
| | | |
| * | | Fix shifted_{in,out} callsFlorian Diebold2021-04-085-11/+11
| | | |
| * | | Fix subst_prefixFlorian Diebold2021-04-081-1/+4
| | | |
| * | | Get rid of walk_mut [not compiling]Florian Diebold2021-04-081-272/+0
| | | |
| * | | Fix TyBuilder methodsFlorian Diebold2021-04-081-5/+5
| | | |
| * | | Impl Fold for CallableSigFlorian Diebold2021-04-081-0/+18
| | | |
| * | | Add HasInterner boundsFlorian Diebold2021-04-086-14/+35
| | | |
| * | | Allow unusedFlorian Diebold2021-04-081-0/+3
| | | |
| * | | Remove obsolete Cast implsFlorian Diebold2021-04-081-47/+0
| | | |
| * | | Make ToChalk implementations identityFlorian Diebold2021-04-082-272/+42
| | | |
| * | | Replace all the types by their Chalk versionsFlorian Diebold2021-04-083-554/+32
| |/ /
* | | Merge #8422bors[bot]2021-04-081-2/+2
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | 8422: Remove extra bracket in architecture docs r=lnicola a=lnicola bors r+ changelog skip Co-authored-by: Laurențiu Nicola <[email protected]>
| * | Remove extra bracket in architecture docsLaurențiu Nicola2021-04-081-2/+2
| |/
* | Merge #8207bors[bot]2021-04-081-11/+94
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | 8207: Show dbg remove assist on empty contents r=edwin0cheng a=ivan770 Closes #8185 Co-authored-by: ivan770 <[email protected]> Co-authored-by: ivan770 <[email protected]>
| * | Apply test style fixes to all empty remove_dbg testsivan7702021-03-291-21/+17
| | |
| * | Update crates/ide_assists/src/handlers/remove_dbg.rs ivan7702021-03-291-5/+9
| | | | | | | | | | | | | | | Apply standard test style fixes Co-authored-by: Aleksey Kladov <[email protected]>
| * | Replace empty dbg with unit in letexprs, better removal in blocksivan7702021-03-271-13/+72
| | |
| * | Replace match on option with ifivan7702021-03-271-3/+4
| | |
| * | Remove dbg expression and newline as wholeivan7702021-03-271-6/+28
| | |
| * | Show dbg remove assist on empty contentsivan7702021-03-261-8/+9
| | |
* | | Merge #8412bors[bot]2021-04-072-1/+19
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8412: Emit folding ranges for multiline array literals r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | Emit folding ranges for multiline array literalsLukas Wirth2021-04-072-1/+19
|/ / /
* | | Merge #8409bors[bot]2021-04-0715-70/+78
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8409: Various remaining fixes for Chalk IR move r=flodiebold a=flodiebold CC #8313 Co-authored-by: Florian Diebold <[email protected]>
| * | | Fix return type of Substitution::internedFlorian Diebold2021-04-073-3/+3
| | | |
| * | | InEnvironment::new takes a referenceFlorian Diebold2021-04-075-7/+7
| | | |
| * | | Make Canonical::new a free-standing functionFlorian Diebold2021-04-072-11/+13
| | | |
| * | | Fix return type of `self_type_parameter`Florian Diebold2021-04-074-10/+10
| | | |
| * | | Move hir_trait_id to extension traitFlorian Diebold2021-04-0711-19/+27
| | | |
| * | | Change TraitRef::hir_fmt_ext to free-standing functionFlorian Diebold2021-04-071-20/+18
| | |/ | |/|
* | | Merge #8408bors[bot]2021-04-073-3/+3
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8408: Update `OUT_DIR` diagnostic to match setting r=jonas-schievink a=jonas-schievink The setting was renamed, so the diagnostic should follow bors r+ Co-authored-by: Jonas Schievink <[email protected]>