aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics
Commit message (Expand)AuthorAgeFilesLines
* internal: implement pattern adjustments.Dawer2021-06-011-2/+26
* minor: Avoid eprintln on panicDawer2021-06-012-13/+15
* Expand fixme commentsDawer2021-05-313-2/+5
* fix: panic on extra fields in a patternDawer2021-05-311-0/+25
* Correct binding pattern's type; handle invalid records.Dawer2021-05-311-5/+55
* Take substitutions into account.Dawer2021-05-313-14/+33
* eprint panic contextDawer2021-05-313-14/+36
* minor: doc comment pat_utilDawer2021-05-311-0/+4
* Test match guards, reference patternsDawer2021-05-311-0/+51
* Box field detection; test #[non-exhaustive] attributeDawer2021-05-313-10/+52
* Better tests: check if match checking bails out.Dawer2021-05-312-1/+69
* Replace the old match checking algorithmDawer2021-05-316-1925/+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-314-1/+1468
* minor: it's Parameter, not ArgumentAleksey Kladov2021-05-311-3/+3
* fix: avoid panics in match case diagnosticAleksey Kladov2021-05-311-108/+33
* internal: move diagnostics to hirAleksey Kladov2021-05-253-7/+6
* Record method call substs and use them in call infoFlorian Diebold2021-05-232-9/+5
* Add last remaining module docstringFlorian Diebold2021-05-221-1/+3
* Check patterns for type match recursively.Dawer2021-05-192-2/+30
* internal: Record mismatches of pattern types.Dawer2021-05-191-1/+1
* Fix false positive "Missing match arm".Dawer2021-05-141-0/+1
* Fix inference with conditionally compiled tailsDaniel McNab2021-05-031-1/+1
* decl_check: follow test style guideJonas Schievink2021-04-131-60/+59
* address review feedbackJade2021-04-131-21/+35
* decl_check: consider outer scopes' allowsJade2021-04-081-10/+122
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-5/+4