aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk/mapping.rs
Commit message (Collapse)AuthorAgeFilesLines
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-17/+13
|
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-1/+1
| | | | | | | | ... like it will be in Chalk. We still keep `interned_mut` and `into_inner` methods that will probably not exist with Chalk. This worsens performance slightly (5ginstr inference on RA), but doesn't include other simplifications we can do yet.
* More renamingFlorian Diebold2021-03-141-10/+8
|
* Use chalk_ir::FnSigFlorian Diebold2021-03-141-10/+9
|
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-11/+11
|
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-22/+6
|
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-19/+3
|
* Use chalk_ir::ClosureIdFlorian Diebold2021-03-131-8/+3
|
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-3/+2
|
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-33/+14
|
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-22/+2
|
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-45/+46
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* 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