Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | 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 #8422 | bors[bot] | 2021-04-08 | 1 | -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 docs | Laurențiu Nicola | 2021-04-08 | 1 | -2/+2 | |
| |/ | ||||||
* | | 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 | |
| | | | ||||||
* | | | Merge #8412 | bors[bot] | 2021-04-07 | 2 | -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 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 | |
| |/ / / | ||||||
* | | | | Merge #8407 | bors[bot] | 2021-04-07 | 3 | -33/+37 | |
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | 8407: Move `equals_ctor` to `TyExt` r=flodiebold a=flodiebold 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). Co-authored-by: Florian Diebold <[email protected]> | |||||
| * | | | 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. | |||||
* | | | Merge #8401 | bors[bot] | 2021-04-07 | 2 | -11/+11 | |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | 8401: Update crates r=kjeremy a=kjeremy Co-authored-by: kjeremy <[email protected]> |