aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Improve indexing of implsFlorian Diebold2021-04-093-28/+85
| | | | | | Store impls for e.g. &Foo with the ones for Foo instead of the big "other" bucket. This can improve performance and simplifies the HIR impl search a bit.
* Merge #8429bors[bot]2021-04-091-0/+20
|\ | | | | | | | | | | | | | | 8429: 8425: Added documentation for on enter covering //! doc comments. r=jonas-schievink a=chetankhilosiya Also added passing test case. Co-authored-by: Chetan Khilosiya <[email protected]>
| * 8425: Added documentation for on enter covering //! doc comments.Chetan Khilosiya2021-04-081-0/+20
| | | | | | | | Also added passing test case.
* | CleanupFlorian Diebold2021-04-082-24/+19
| |
* | Intern VariancesFlorian Diebold2021-04-081-2/+3
| | | | | | | | This may be a slight performance improvement.
* | 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
| |
* | 8024: Added the trait modifier for assoc types.Chetan Khilosiya2021-04-081-2/+12
| |
* | Use named fields in `MacroCallKind`Jonas Schievink2021-04-087-33/+40
|/
* 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-0818-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 synkjeremy2021-04-081-1/+1
| |/ / |/| | | | | | | | 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 #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
| | |
* | | 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
| | | |