aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/match_check.rs
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | ... since that's the actual method on Chalk side that matches the signature.
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+4
| | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* 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
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* 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
| | | | | | This should already be guarded against (https://github.com/rust-analyzer/rust-analyzer/blob/d2212a49f6d447a14cdc87a9de2a4844e78b6905/crates/hir_ty/src/diagnostics/expr.rs#L225-L230) but it isn't preventing this false positive for some reason.
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+1421