aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | Don't intern ProgramClause at allFlorian Diebold2021-04-081-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This seems to work best performance/memory-wise.
| * | | | | | Intern QuantifiedWhereClausesFlorian Diebold2021-04-081-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Slight performance and memory usage improvement.
| * | | | | | Intern ProgramClausesFlorian Diebold2021-04-081-2/+3
| | | | | | |
| * | | | | | Intern CanonicalVarKindsFlorian Diebold2021-04-081-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Slight savings in performance and memory.
| * | | | | | Intern consts & lifetimesFlorian Diebold2021-04-082-7/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Slight memory usage reduction.
| * | | | | | 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
| | | | | |