Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | Intern Variances | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | This may be a slight performance improvement. | |||||
* | | | | Don't intern ProgramClause at all | Florian Diebold | 2021-04-08 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | This seems to work best performance/memory-wise. | |||||
* | | | | Intern QuantifiedWhereClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | Slight performance and memory usage improvement. | |||||
* | | | | Intern ProgramClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
| | | | | ||||||
* | | | | Intern CanonicalVarKinds | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | Slight savings in performance and memory. | |||||
* | | | | Intern consts & lifetimes | Florian Diebold | 2021-04-08 | 2 | -7/+20 | |
| | | | | | | | | | | | | | | | | Slight memory usage reduction. | |||||
* | | | | Intern types | Florian Diebold | 2021-04-08 | 1 | -3/+7 | |
| | | | | | | | | | | | | | | | | Performance about the same, memory reduced by ~5%. | |||||
* | | | | Intern Substitutions | Florian Diebold | 2021-04-08 | 8 | -27/+34 | |
| | | | | | | | | | | | | | | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.) | |||||
* | | | | Intern VariableKinds | Florian Diebold | 2021-04-08 | 1 | -4/+14 | |
| | | | | ||||||
* | | | | 8024: Added the trait modifier for assoc types. | Chetan Khilosiya | 2021-04-08 | 1 | -2/+12 | |
| | | | | ||||||
* | | | | Use named fields in `MacroCallKind` | Jonas Schievink | 2021-04-08 | 7 | -33/+40 | |
|/ / / | ||||||
* | | | Track recursion limit when expanding custom derive | Jonas Schievink | 2021-04-08 | 1 | -1/+1 | |
| | | | ||||||
* | | | Merge #8421 | bors[bot] | 2021-04-08 | 1 | -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 macro | Laurențiu Nicola | 2021-04-08 | 1 | -13/+30 | |
| | | | | ||||||
| | | | | ||||||
| \ \ \ | ||||||
*-. \ \ \ | Merge #8419 #8423 | bors[bot] | 2021-04-08 | 18 | -1546/+340 | |
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 syn | kjeremy | 2021-04-08 | 1 | -1/+1 | |
| |/ / / / |/| | | | | | | | | | | | | | | This lsp-types now supports a default InsertTextMode for completion and a per-completion item commit_characters | |||||
| * | | | | Remove unused | Florian Diebold | 2021-04-08 | 14 | -69/+20 | |
| | | | | | ||||||
| * | | | | Replace `make_binders` by the now equivalent `make_only_type_binders` | Florian Diebold | 2021-04-08 | 2 | -35/+22 | |
| | | | | | ||||||
| * | | | | Remove identity impls for ToChalk | Florian Diebold | 2021-04-08 | 4 | -215/+21 | |
| | | | | | ||||||
| * | | | | Fix `Canonicalized::apply_solution` | Florian Diebold | 2021-04-08 | 1 | -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 arms | Florian Diebold | 2021-04-08 | 5 | -3/+23 | |
| | | | | | ||||||
| * | | | | Fix remaining `interned_mut` call | Florian Diebold | 2021-04-08 | 1 | -4/+6 | |
| | | | | | ||||||
| * | | | | Replace remaining `fold` calls | Florian Diebold | 2021-04-08 | 3 | -59/+104 | |
| | | | | | ||||||
| * | | | | Replace some `fold` calls | Florian Diebold | 2021-04-08 | 4 | -47/+53 | |
| | | | | | ||||||
| * | | | | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 5 | -11/+11 | |
| | | | | | ||||||
| * | | | | Fix subst_prefix | Florian Diebold | 2021-04-08 | 1 | -1/+4 | |
| | | | | | ||||||
| * | | | | Get rid of walk_mut [not compiling] | Florian Diebold | 2021-04-08 | 1 | -272/+0 | |
| | | | | | ||||||
| * | | | | Fix TyBuilder methods | Florian Diebold | 2021-04-08 | 1 | -5/+5 | |
| | | | | | ||||||
| * | | | | Impl Fold for CallableSig | Florian Diebold | 2021-04-08 | 1 | -0/+18 | |
| | | | | | ||||||
| * | | | | Add HasInterner bounds | Florian Diebold | 2021-04-08 | 6 | -14/+35 | |
| | | | | | ||||||
| * | | | | Allow unused | Florian Diebold | 2021-04-08 | 1 | -0/+3 | |
| | | | | | ||||||
| * | | | | Remove obsolete Cast impls | Florian Diebold | 2021-04-08 | 1 | -47/+0 | |
| | | | | | ||||||
| * | | | | Make ToChalk implementations identity | Florian Diebold | 2021-04-08 | 2 | -272/+42 | |
| | | | | | ||||||
| * | | | | Replace all the types by their Chalk versions | Florian Diebold | 2021-04-08 | 3 | -554/+32 | |
|/ / / / | ||||||
* | | | | Merge #8207 | bors[bot] | 2021-04-08 | 1 | -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 tests | ivan770 | 2021-03-29 | 1 | -21/+17 | |
| | | | | | ||||||
| * | | | | Update crates/ide_assists/src/handlers/remove_dbg.rs | ivan770 | 2021-03-29 | 1 | -5/+9 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Apply standard test style fixes Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | | | Replace empty dbg with unit in letexprs, better removal in blocks | ivan770 | 2021-03-27 | 1 | -13/+72 | |
| | | | | | ||||||
| * | | | | Replace match on option with if | ivan770 | 2021-03-27 | 1 | -3/+4 | |
| | | | | | ||||||
| * | | | | Remove dbg expression and newline as whole | ivan770 | 2021-03-27 | 1 | -6/+28 | |
| | | | | | ||||||
| * | | | | Show dbg remove assist on empty contents | ivan770 | 2021-03-26 | 1 | -8/+9 | |
| | | | | | ||||||
* | | | | | Emit folding ranges for multiline array literals | Lukas Wirth | 2021-04-07 | 2 | -1/+19 | |
| |_|/ / |/| | | | ||||||
* | | | | Merge #8409 | bors[bot] | 2021-04-07 | 15 | -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::interned | Florian Diebold | 2021-04-07 | 3 | -3/+3 | |
| | | | | | ||||||
| * | | | | InEnvironment::new takes a reference | Florian Diebold | 2021-04-07 | 5 | -7/+7 | |
| | | | | | ||||||
| * | | | | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 2 | -11/+13 | |
| | | | | | ||||||
| * | | | | Fix return type of `self_type_parameter` | Florian Diebold | 2021-04-07 | 4 | -10/+10 | |
| | | | | | ||||||
| * | | | | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 11 | -19/+27 | |
| | | | | | ||||||
| * | | | | Change TraitRef::hir_fmt_ext to free-standing function | Florian Diebold | 2021-04-07 | 1 | -20/+18 | |
| | |/ / | |/| | | ||||||
* | | | | Merge #8408 | bors[bot] | 2021-04-07 | 3 | -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]> |