aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Replace the old match checking algorithmDawer2021-05-317-1927/+311
| * Include old testsDawer2021-05-311-69/+597
| * Don't panic on a pattern of unresolved ADT variant.Dawer2021-05-312-50/+14
| * Clean up, more docs.Dawer2021-05-314-101/+383
| * Check pattern types.Dawer2021-05-313-30/+85
| * Expand binding patterns.Dawer2021-05-312-6/+110
| * Fix visibility warningsDawer2021-05-313-12/+12
| * Lower binding patternDawer2021-05-312-9/+28
| * Lower bool literalsDawer2021-05-312-13/+29
| * Treat ctor of unhandled type as non-exhaustive.Dawer2021-05-312-4/+24
| * Lower Pat::PathDawer2021-05-311-0/+18
| * Do not do match check if lowering failed.Dawer2021-05-311-2/+19
| * Fix panics on pattern_arena.borrow with ugly cloningDawer2021-05-312-16/+15
| * Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-315-164/+387
| * Handle unordered fields in struct patternsDawer2021-05-311-2/+12
| * Complete field replacingDawer2021-05-311-2/+7
| * Support bool literal patternsDawer2021-05-312-9/+182
| * Check enum patternsDawer2021-05-313-6/+124
| * Build wildcard witnesses instead of panickingDawer2021-05-311-8/+8
| * Implement struct ctor applicationDawer2021-05-314-68/+120
| * Add remaining Constructor variantsDawer2021-05-311-14/+56
| * Complete usefulness::SubPatSet implDawer2021-05-311-3/+71
| * List useless patterns in a useful match armDawer2021-05-311-9/+58
| * Remove unneeded indirection on PatCtxtDawer2021-05-313-24/+24
| * Enable generation of non-exhaustiveness witnessesDawer2021-05-313-13/+76
| * Update match checking.Dawer2021-05-315-1/+1470
* | hir_ty: use correct receiver_ty in method resolutioncynecx2021-05-313-12/+82
|/
* minor: it's Parameter, not ArgumentAleksey Kladov2021-05-312-5/+5
* fix: avoid panics in match case diagnosticAleksey Kladov2021-05-311-108/+33
* Merge #8866bors[bot]2021-05-312-2/+2
|\
| * Update salsaJonas Schievink2021-05-272-2/+2
* | hir_ty: don't pass where clauses of associated types down to chalk (temp. fix...cynecx2021-05-302-11/+28
* | hir_ty: use async ret type for inference inside async bodiescynecx2021-05-292-1/+56
* | Remove fragment kind knowledge from builtin macrosJonas Schievink2021-05-291-0/+18
* | Move hir_ty incremental test to its own fileJonas Schievink2021-05-272-44/+52
|/
* Merge #9007bors[bot]2021-05-263-17/+15
|\
| * clippy::redundant_clone fixesLaurențiu Nicola2021-05-263-17/+15
* | Merge #8973bors[bot]2021-05-257-15/+125
|\ \
| * | internal: move diagnostics to hirAleksey Kladov2021-05-257-15/+125
* | | Consider trait to be in scope for trait-implLukas Wirth2021-05-252-0/+32
* | | Merge #8987bors[bot]2021-05-252-4/+28
|\ \ \
| * | | Hide `-> ()` in Fn traitsFlorian Diebold2021-05-252-5/+7
| * | | Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
| |/ /
* / / Fix type inference not working for new Try traitLukas Wirth2021-05-252-1/+41
|/ /
* | Minor test fixes / new testsFlorian Diebold2021-05-251-15/+62
* | Fix type mismatch caused by macrosFlorian Diebold2021-05-252-1/+45
|/
* internal: rename hypothetical -> speculativeAleksey Kladov2021-05-241-1/+1
* internal: intern `TypeBound`sJonas Schievink2021-05-242-1/+9
* Record method call substs and use them in call infoFlorian Diebold2021-05-235-38/+42
* Add test for #8931 and better checkingFlorian Diebold2021-05-231-11/+83