aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| | | | | | |
| \ \ \ \ \ \
*-. \ \ \ \ \ \ 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]>
| * | | | | | Update `OUT_DIR` diagnostic to match settingJonas Schievink2021-04-073-3/+3
| | | | | | |
* | | | | | | Merge #8388bors[bot]2021-04-073-17/+154
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8388: Autoclose blocks when typing `{` r=jonas-schievink a=jonas-schievink Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | | | Document `}` insertionJonas Schievink2021-04-071-0/+1
| | | | | | | |
| * | | | | | | Make better use of `stdx::always`Jonas Schievink2021-04-071-7/+21
| | | | | | | |
| * | | | | | | Rewrite, reparse modified fileJonas Schievink2021-04-071-49/+114
| | | | | | | |
| * | | | | | | simplifyJonas Schievink2021-04-071-8/+6
| | | | | | | |
| * | | | | | | Use stdx::alwaysJonas Schievink2021-04-071-5/+5
| | | | | | | |
| * | | | | | | Complete braces more aggressivelyJonas Schievink2021-04-071-20/+35
| | | | | | | |
| * | | | | | | Autoclose blocks when typing `{`Jonas Schievink2021-04-073-3/+47
| |/ / / / / /
* | | | | | | Merge #8407bors[bot]2021-04-073-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 Diebold2021-04-073-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).