aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | Fix crash on syn involving lifetimes returned by ChalkFlorian Diebold2021-04-093-6/+77
|/ / / / / / / /
* | | | | | | | Merge #8429bors[bot]2021-04-091-0/+20
|\ \ \ \ \ \ \ \
| * | | | | | | | 8425: Added documentation for on enter covering //! doc comments.Chetan Khilosiya2021-04-081-0/+20
| | |_|/ / / / / | |/| | | | | |
* | | | | | | | Merge #8433bors[bot]2021-04-089-50/+83
|\ \ \ \ \ \ \ \
| * | | | | | | | CleanupFlorian Diebold2021-04-082-24/+19
| * | | | | | | | Intern VariancesFlorian Diebold2021-04-081-2/+3
| * | | | | | | | Don't intern ProgramClause at allFlorian Diebold2021-04-081-2/+2
| * | | | | | | | Intern QuantifiedWhereClausesFlorian Diebold2021-04-081-2/+3
| * | | | | | | | Intern ProgramClausesFlorian Diebold2021-04-081-2/+3
| * | | | | | | | Intern CanonicalVarKindsFlorian Diebold2021-04-081-2/+3
| * | | | | | | | Intern consts & lifetimesFlorian Diebold2021-04-082-7/+20
| * | | | | | | | Intern typesFlorian Diebold2021-04-081-3/+7
| * | | | | | | | Intern SubstitutionsFlorian Diebold2021-04-088-27/+34
| * | | | | | | | Intern VariableKindsFlorian Diebold2021-04-081-4/+14
|/ / / / / / / /
* | | | | | | | Merge #8431bors[bot]2021-04-081-2/+12
|\ \ \ \ \ \ \ \
| * | | | | | | | 8024: Added the trait modifier for assoc types.Chetan Khilosiya2021-04-081-2/+12
|/ / / / / / / /
* | | | | | | | Merge #8428bors[bot]2021-04-087-33/+40
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Use named fields in `MacroCallKind`Jonas Schievink2021-04-087-33/+40
|/ / / / / / /
* | | | | | | Merge #8426bors[bot]2021-04-081-1/+1
|\ \ \ \ \ \ \ | |_|_|_|_|_|/ |/| | | | | |
| * | | | | | Track recursion limit when expanding custom deriveJonas Schievink2021-04-081-1/+1
|/ / / / / /
* | | | | | Merge #8421bors[bot]2021-04-081-13/+30
|\ \ \ \ \ \
| * | | | | | Reduce allocations in Expand macroLaurențiu Nicola2021-04-081-13/+30
| | | | | | |
| \ \ \ \ \ \
*-. \ \ \ \ \ \ Merge #8419 #8423bors[bot]2021-04-0819-1550/+344
|\ \ \ \ \ \ \ \
| | * | | | | | | Bump lsp-types and synkjeremy2021-04-082-5/+5
| | | |_|_|/ / / | | |/| | | | |
| * | | | | | | 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
| * | | | | | | 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
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Remove extra bracket in architecture docsLaurențiu Nicola2021-04-081-2/+2
| |/ / / / /
* | | | | | Merge #8207bors[bot]2021-04-081-11/+94
|\ \ \ \ \ \
| * | | | | | 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
| * | | | | | 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