| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix: panic on extra fields in a pattern | Dawer | 2021-05-31 | 1 | -0/+25 |
| | | |||||
| * | Correct binding pattern's type; handle invalid records. | Dawer | 2021-05-31 | 1 | -5/+55 |
| | | |||||
| * | Take substitutions into account. | Dawer | 2021-05-31 | 1 | -2/+18 |
| | | |||||
| * | Test match guards, reference patterns | Dawer | 2021-05-31 | 1 | -0/+51 |
| | | |||||
| * | Box field detection; test #[non-exhaustive] attribute | Dawer | 2021-05-31 | 1 | -0/+36 |
| | | |||||
| * | Better tests: check if match checking bails out. | Dawer | 2021-05-31 | 1 | -1/+67 |
| | | |||||
| * | Replace the old match checking algorithm | Dawer | 2021-05-31 | 1 | -783/+294 |
| | | |||||
| * | Don't panic on a pattern of unresolved ADT variant. | Dawer | 2021-05-31 | 1 | -0/+1 |
| | | |||||
| * | Check patterns for type match recursively. | Dawer | 2021-05-19 | 1 | -0/+12 |
| | | |||||
| * | Fix false positive "Missing match arm". | Dawer | 2021-05-14 | 1 | -0/+1 |
| | | |||||
| * | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -1/+1 |
| | | |||||
| * | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -1/+1 |
| | | | | | ... since that's the actual method on Chalk side that matches the signature. | ||||
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -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 check | Jesse Bakker | 2021-03-30 | 1 | -25/+15 |
| | | |||||
| * | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -4/+4 |
| | | | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`. | ||||
| * | Use chalk_ir::AdtId | Lukas Wirth | 2021-03-04 | 1 | -3/+3 |
| | | |||||
| * | Inline TypeCtor into Ty | Lukas Wirth | 2021-02-28 | 1 | -5/+3 |
| | | |||||
| * | Update fixed tests | Jonas Schievink | 2021-02-10 | 1 | -15/+14 |
| | | |||||
| * | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -1/+1 |
| | | |||||
| * | Fixed typos in code comments | Vincent Esche | 2021-01-09 | 1 | -2/+2 |
| | | |||||
| * | Check structs for match exhaustiveness | Lukas Wirth | 2020-11-24 | 1 | -31/+120 |
| | | |||||
| * | Add middle ellipsis missing arm text | Lukas Wirth | 2020-11-24 | 1 | -0/+14 |
| | | |||||
| * | Handle ellipsis in tuple patterns in match exhaustiveness checking | Lukas Wirth | 2020-11-24 | 1 | -42/+41 |
| | | |||||
| * | Fix missing match arm false error on unknown type | CAD97 | 2020-08-17 | 1 | -2/+0 |
| | | |||||
| * | Document missing match arm false positive | CAD97 | 2020-08-17 | 1 | -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_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+1421 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |