aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/unify.rs
Commit message (Expand)AuthorAgeFilesLines
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-8/+8
* Fix unification logicFlorian Diebold2021-03-151-1/+1
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-5/+19
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-2/+2
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-3/+3
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-44/+61
* Use upstream cov-markLaurențiu Nicola2021-03-081-5/+3
* Introduce Ty::AliasLukas Wirth2021-03-011-3/+3
* Assert index relationship between type_variable_table and var_unification_tableLukas Wirth2021-03-011-20/+11
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-74/+119
* Inline TypeCtor into TyLukas Wirth2021-02-281-24/+14
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-6/+20
* Remove more unreachable pubsAleksey Kladov2020-11-021-1/+1
* Deny unreachable-pubAleksey Kladov2020-11-021-13/+22
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+474