about summary refs log tree commit diff
path: root/crates/hir-ty
AgeCommit message (Expand)AuthorLines
2022-07-19Upgrade to expect-test@1.4.0Amos Wenger-1/+1
2022-07-18Auto merge of #12549 - bitgaoshu:goto_where_trait_m_impl, r=Veykrilbors-37/+86
2022-07-17Auto merge of #12778 - Logarithmus:feature/fix-negative-const-generics, r=flo...bors-34/+27
2022-07-17fix: address suggestionsArtur Sinila-18/+9
2022-07-17Check for local IDs belong to same definitioniDawer-2/+20
2022-07-17feat: support negative const generic parametersArtur Sinila-34/+36
2022-07-08Update remaining GitHub URLsJonas Schievink-1/+1
2022-07-03Bump chalkLaurențiu Nicola-59/+59
2022-07-03Bump tracing-subscriberLaurențiu Nicola-1/+1
2022-07-03Bump smallvecLaurențiu Nicola-1/+1
2022-07-03fix: report type mismatch on identifier in destructuring assignmentsRyo Yoshida-1/+36
2022-07-03fix: infer lhs first on ordinary assignment expressionsRyo Yoshida-2/+66
2022-07-02fix: typos in hir-tya-kenji-2/+2
2022-07-01Add tests for #12669Florian Diebold-0/+62
2022-07-01Fix blocks not considering stmt without semi as tailsLukas Wirth-3/+30
2022-07-01Fix Expr::MacroStmts using wrong scopesLukas Wirth-2/+2
2022-07-01Update hir-ty test outputsLukas Wirth-13/+17
2022-07-01fix: Simplify macro statement expansion handlingLukas Wirth-1/+3
2022-06-30Auto merge of #12634 - iDawer:match-check.witnesses, r=flodieboldbors-43/+278
2022-06-30Add static assertions for some unreachble pathsiDawer-16/+10
2022-06-30Correct wordingiDawer-1/+1
2022-06-30Auto merge of #12428 - lowr:experimental/destructuring-assignment, r=flodieboldbors-67/+529
2022-06-26WellFormed -> Holdsbitgaoshu-1/+1
2022-06-25Reduce intermediate allocations while printing witnessesiDawer-14/+17
2022-06-23internal: SimplifyLukas Wirth-44/+44
2022-06-23Fix unstable feature useFlorian Diebold-1/+1
2022-06-23Various cleanupsFlorian Diebold-137/+120
2022-06-23reformat codebitgaoshu-21/+26
2022-06-23goto where trait method implbitgaoshu-84/+145
2022-06-20Display witnesses of non-exhaustive matchiDawer-30/+268
2022-06-12Auto merge of #12513 - Veykril:ty-utils, r=Veykrilbors-65/+44
2022-06-12internal: Simplify `hir_ty::utils`Lukas Wirth-65/+44
2022-06-12Auto merge of #12509 - Veykril:ty-utils, r=Veykrilbors-22/+7
2022-06-12internal: Remove `Generics::type_iter` in favor of `Generics::iter`Lukas Wirth-22/+7
2022-06-12Auto merge of #12455 - bitgaoshu:fix_12441, r=flodieboldbors-4/+78
2022-06-10internal: Bump DependenciesLukas Wirth-6/+6
2022-06-03fix: #12441 False-positive type-mismatch error with generic futurebitgaoshu-4/+78
2022-06-01Implement type inference for assignee expressionsRyo Yoshida-3/+416
2022-06-01Generalize some inference functions for patternsRyo Yoshida-64/+107
2022-06-01Add `Expr::Underscore`Ryo Yoshida-0/+6
2022-05-31Auto merge of #12336 - bitgaoshu:mismatch, r=flodieboldbors-3/+41
2022-05-29fix overflow during tuple struct type inferenceRyo Yoshida-1/+28
2022-05-23Fix inference when pattern matching a tuple field with a wildcard.Roland Ruckerbauer-8/+41
2022-05-22Increase defalt chalk overflow depth to match max solver sizeLaurențiu Nicola-1/+1
2022-05-21mismatchbitgaoshu-3/+41
2022-05-20Rename `Expr::Lambda` to `Expr::Closure`Jonas Schievink-2/+2
2022-05-16Auto merge of #12271 - bitgaoshu:box_with_expec, r=flodieboldbors-10/+35
2022-05-16add box expection hintbitgaoshu-10/+35
2022-05-16Auto merge of #12253 - Veykril:bm, r=Veykrilbors-11/+7
2022-05-14internal: vendor lsp-serverAleksey Kladov-1/+1