aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk/mapping.rs
Commit message (Collapse)AuthorAgeFilesLines
* Use Chalk Environment more directlyFlorian Diebold2021-03-121-33/+5
|
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-14/+2
|
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-22/+6
|
* Introduce Ty::AliasLukas Wirth2021-03-011-10/+10
|
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-22/+10
|
* Lift FnPointer into a structLukas Wirth2021-02-281-16/+12
|
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-5/+4
|
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-2/+2
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-104/+85
|
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-60/+4
|
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-80/+60
|
* Upgrade ChalkFlorian Diebold2020-12-071-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 pubsAleksey Kladov2020-11-021-3/+3
|
* Upgrade Chalk to 0.36Florian Diebold2020-10-301-199/+157
| | | | Quite a few changes, because Chalk got rid of the `ApplicationTy` nesting.
* Get rid of FAKE_PLACEHOLDERFlorian Diebold2020-10-251-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 explicitCasey Primozic2020-10-071-1/+2
|
* `todo!()` -> `unimplemented!() // FIXME` for CICasey Primozic2020-10-061-1/+1
|
* Bump chalk to use latest git to get fixCasey Primozic2020-10-061-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 Lew2020-09-151-16/+53
|
* Lookup ADT and assoc. type names for chalk debugNathan Whitaker2020-09-091-0/+12
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+787