aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/autoderef.rs
Commit message (Expand)AuthorAgeFilesLines
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-12/+12
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-12/+21
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+5
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-7/+8
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+3
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-2/+2
* Use chalk_ir::FnSigFlorian Diebold2021-03-141-1/+4
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-1/+1
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-1/+2
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-4/+5
* Introduce Ty::AliasLukas Wirth2021-03-011-2/+3
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-2/+4
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+131