aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/match_check.rs
Commit message (Expand)AuthorAgeFilesLines
* Move some hir_ty diagnostics to hirAleksey Kladov2021-06-121-957/+0
* internal: implement pattern adjustments.Dawer2021-06-011-2/+26
* 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-311-2/+18
* Test match guards, reference patternsDawer2021-05-311-0/+51
* Box field detection; test #[non-exhaustive] attributeDawer2021-05-311-0/+36
* Better tests: check if match checking bails out.Dawer2021-05-311-1/+67
* Replace the old match checking algorithmDawer2021-05-311-783/+294
* Don't panic on a pattern of unresolved ADT variant.Dawer2021-05-311-0/+1
* Check patterns for type match recursively.Dawer2021-05-191-0/+12
* Fix false positive "Missing match arm".Dawer2021-05-141-0/+1
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+4
* Fix expansion of OR-patterns in match checkJesse Bakker2021-03-301-25/+15
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-4/+4
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-3/+3
* Inline TypeCtor into TyLukas Wirth2021-02-281-5/+3
* Update fixed testsJonas Schievink2021-02-101-15/+14
* prepare to publish el libro de arenaAleksey Kladov2021-01-141-1/+1
* Fixed typos in code commentsVincent Esche2021-01-091-2/+2
* Check structs for match exhaustivenessLukas Wirth2020-11-241-31/+120
* Add middle ellipsis missing arm textLukas Wirth2020-11-241-0/+14
* Handle ellipsis in tuple patterns in match exhaustiveness checkingLukas Wirth2020-11-241-42/+41
* Fix missing match arm false error on unknown typeCAD972020-08-171-2/+0
* Document missing match arm false positiveCAD972020-08-171-0/+19
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+1421