aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk/mapping.rs
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Remove more unreachable pubsAleksey Kladov2020-11-021-3/+3
* Upgrade Chalk to 0.36Florian Diebold2020-10-301-199/+157
* Get rid of FAKE_PLACEHOLDERFlorian Diebold2020-10-251-8/+9
* 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
* 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