aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/coerce.rs
Commit message (Expand)AuthorAgeFilesLines
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-1/+1
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-041-4/+1
* More TyBuilder useFlorian Diebold2021-04-041-12/+9
* Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-041-4/+5
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-4/+4
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+1
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-3/+3
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+3
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+4
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-2/+4
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-8/+2
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-1/+1
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-17/+21
* Use upstream cov-markLaurențiu Nicola2021-03-081-3/+2
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-7/+7
* Introduce Ty::AliasLukas Wirth2021-03-011-5/+5
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-4/+4
* Lift FnPointer into a structLukas Wirth2021-02-281-2/+2
* Inline TypeCtor into TyLukas Wirth2021-02-281-43/+36
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+197