aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/match_check.rs
Commit message (Expand)AuthorAgeFilesLines
* 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