aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* Rewrite coercion using the new unificationFlorian Diebold2021-05-211-0/+12
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-211-11/+7
* internal: Record mismatches of pattern types.Dawer2021-05-191-2/+21
* Remove unusedFlorian Diebold2021-04-081-1/+0
* Replace remaining `fold` callsFlorian Diebold2021-04-081-10/+15
* InEnvironment::new takes a referenceFlorian Diebold2021-04-071-1/+1
* Merge #8394bors[bot]2021-04-071-33/+37
|\
| * Infer variants through type aliased enumsLukas Wirth2021-04-071-33/+37
* | Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-061-4/+11
* | Align `InferenceVar` to ChalkFlorian Diebold2021-04-061-19/+0
* | infer: remove `record_pat_field_resolutions` fieldJonas Schievink2021-04-061-5/+1
|/
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-5/+0
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-4/+4
* Binders::subst -> substituteFlorian Diebold2021-04-051-4/+4
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-7/+7
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-2/+2
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-2/+2
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-041-2/+1
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-041-5/+3
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-2/+2
* minor: add profile call for resolve_obligationsAleksey Kladov2021-04-021-0/+2
* Don't recheck obligations if we have learned nothing newFlorian Diebold2021-04-011-3/+15
* completion relevance consider if types can be unifiedJosh Mcguigan2021-03-261-0/+5
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-1/+1
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-6/+6
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-9/+9
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+3
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-4/+4
* Merge #8018bors[bot]2021-03-151-6/+24
|\
| * Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-6/+24
* | Simplify source maps for fieldsAleksey Kladov2021-03-151-3/+3
|/
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-2/+2
* Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-131-5/+5
* Create TraitEnvironment through a queryFlorian Diebold2021-03-131-1/+3
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-1/+1
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-2/+5
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-21/+28
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-2/+3
* Introduce Ty::AliasLukas Wirth2021-03-011-2/+2
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-21/+7
* Inline TypeCtor into TyLukas Wirth2021-02-281-13/+4
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-3/+3
* Make `ModPath`'s representation privateJonas Schievink2021-02-041-1/+1
* Remove map module from la-arena public APIAramis Razzaghipour2021-01-151-1/+1
* prepare to publish el libro de arenaAleksey Kladov2021-01-141-1/+1
* Remove more unreachable pubsAleksey Kladov2020-11-021-1/+1
* Deny unreachable-pubAleksey Kladov2020-11-021-3/+3
* Implement binary operator overloading type inferenceRoland Ruckerbauer2020-10-131-1/+23
* Bump smol_str from 0.1.16 to 0.1.17Jean SIMARD2020-09-241-1/+1