Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use chalk_ir::AdtId | Lukas Wirth | 2021-03-04 | 1 | -14/+2 |
| | |||||
* | Use chalk_ir::Mutability | Lukas Wirth | 2021-03-01 | 1 | -22/+6 |
| | |||||
* | Introduce Ty::Alias | Lukas Wirth | 2021-03-01 | 1 | -10/+10 |
| | |||||
* | Being Ty::InferenceVar closes to chalk equivalent | Lukas Wirth | 2021-03-01 | 1 | -22/+10 |
| | |||||
* | Lift FnPointer into a struct | Lukas Wirth | 2021-02-28 | 1 | -16/+12 |
| | |||||
* | Remove Substs from Ty::ForeignType | Lukas Wirth | 2021-02-28 | 1 | -5/+4 |
| | |||||
* | Turn Ty::Tuple variant into a tuple-variant | Lukas Wirth | 2021-02-28 | 1 | -2/+2 |
| | |||||
* | Inline TypeCtor into Ty | Lukas Wirth | 2021-02-28 | 1 | -104/+85 |
| | |||||
* | Use chalk_ir::Scalar directly | Lukas Wirth | 2021-02-28 | 1 | -60/+4 |
| | |||||
* | Introduce TypeCtor::Scalar | Lukas Wirth | 2021-02-28 | 1 | -80/+60 |
| | |||||
* | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -3/+10 |
| | | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628. | ||||
* | Remove more unreachable pubs | Aleksey Kladov | 2020-11-02 | 1 | -3/+3 |
| | |||||
* | Upgrade Chalk to 0.36 | Florian Diebold | 2020-10-30 | 1 | -199/+157 |
| | | | | Quite a few changes, because Chalk got rid of the `ApplicationTy` nesting. | ||||
* | Get rid of FAKE_PLACEHOLDER | Florian Diebold | 2020-10-25 | 1 | -8/+9 |
| | | | | | The lifetime placeholder can be replaced by the static lifetime, and for array sizes we should just be using a concrete const. | ||||
* | Make unimplemented match variants explicit | Casey Primozic | 2020-10-07 | 1 | -1/+2 |
| | |||||
* | `todo!()` -> `unimplemented!() // FIXME` for CI | Casey Primozic | 2020-10-06 | 1 | -1/+1 |
| | |||||
* | Bump chalk to use latest git to get fix | Casey Primozic | 2020-10-06 | 1 | -0/+1 |
| | | | | * Chalk very recently (like an hour ago) merged a fix that prevents rust analyzer from panicking. This allows it to be usable again for code that hits those situations. See #6134, #6145, Probably #6120 | ||||
* | Update chalk to 0.27 and adapt to chalk changes. | Charles Lew | 2020-09-15 | 1 | -16/+53 |
| | |||||
* | Lookup ADT and assoc. type names for chalk debug | Nathan Whitaker | 2020-09-09 | 1 | -0/+12 |
| | |||||
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+787 |