aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* internal: move missing unsafe diagnostic to hirAleksey Kladov2021-06-121-2/+2
* internal: move inference diagnostics to hirAleksey Kladov2021-06-121-53/+9
* internal: implement pattern adjustments.Dawer2021-06-011-0/+2
* hir_ty: use async ret type for inference inside async bodiescynecx2021-05-291-1/+7
* Merge #8973bors[bot]2021-05-251-2/+3
|\
| * internal: move diagnostics to hirAleksey Kladov2021-05-251-2/+3
* | Consider trait to be in scope for trait-implLukas Wirth2021-05-251-0/+2
* | Fix type inference not working for new Try traitLukas Wirth2021-05-251-1/+4
|/
* Record method call substs and use them in call infoFlorian Diebold2021-05-231-11/+14
* Some remaining cleanupsFlorian Diebold2021-05-211-4/+0
* Refactor expectation handlingFlorian Diebold2021-05-211-20/+39
* Deal with goals arising from unificationFlorian Diebold2021-05-211-3/+3
* Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-211-17/+17
* Make resolve_ty_shallow return TyFlorian Diebold2021-05-211-3/+1
* Rework obligation handlingFlorian Diebold2021-05-211-69/+15
* Make diverging type variables work againFlorian Diebold2021-05-211-0/+3
* Temporary fix for unknown expectationsFlorian Diebold2021-05-211-0/+4
* 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