Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |