aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/unify.rs
Commit message (Expand)AuthorAgeFilesLines
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-5/+2
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-14/+30
* Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-3/+12
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-8/+5
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-11/+6
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-12/+23
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+2
* 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