Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
* | 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]> | |||||
| * | | | Update `OUT_DIR` diagnostic to match setting | Jonas Schievink | 2021-04-07 | 3 | -3/+3 | |
| | | | | ||||||
* | | | | Merge #8388 | bors[bot] | 2021-04-07 | 3 | -17/+154 | |
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8388: Autoclose blocks when typing `{` r=jonas-schievink a=jonas-schievink Co-authored-by: Jonas Schievink <[email protected]> | |||||
| * | | | | Document `}` insertion | Jonas Schievink | 2021-04-07 | 1 | -0/+1 | |
| | | | | | ||||||
| * | | | | Make better use of `stdx::always` | Jonas Schievink | 2021-04-07 | 1 | -7/+21 | |
| | | | | | ||||||
| * | | | | Rewrite, reparse modified file | Jonas Schievink | 2021-04-07 | 1 | -49/+114 | |
| | | | | | ||||||
| * | | | | simplify | Jonas Schievink | 2021-04-07 | 1 | -8/+6 | |
| | | | | | ||||||
| * | | | | Use stdx::always | Jonas Schievink | 2021-04-07 | 1 | -5/+5 | |
| | | | | | ||||||
| * | | | | Complete braces more aggressively | Jonas Schievink | 2021-04-07 | 1 | -20/+35 | |
| | | | | | ||||||
| * | | | | Autoclose blocks when typing `{` | Jonas Schievink | 2021-04-07 | 3 | -3/+47 | |
| |/ / / | ||||||
* | / / | Move `equals_ctor` to `TyExt` | Florian Diebold | 2021-04-07 | 3 | -33/+37 | |
| |/ / |/| | | | | | | | | | | | | | | I'd prefer getting rid of it, but it's used in the impl search and not super easy to replace there (I think ideally the impl search would do proper unification, but that's a bit more complicated). | |||||
* | | | Merge #8402 | bors[bot] | 2021-04-07 | 6 | -52/+45 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8402: Remove Ty::substs{_mut} r=flodiebold a=flodiebold Almost all uses actually only care about ADT substs, so it's better to be explicit. The methods were a bad abstraction anyway since they already didn't include the inner types of e.g. `TyKind::Ref` anymore. Co-authored-by: Florian Diebold <[email protected]> | |||||
| * | | | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 6 | -52/+45 | |
| |/ / | | | | | | | | | | | | | | | | Almost all uses actually only care about ADT substs, so it's better to be explicit. The methods were a bad abstraction anyway since they already didn't include the inner types of e.g. `TyKind::Ref` anymore. |