aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/path.rs
Commit message (Collapse)AuthorAgeFilesLines
* hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-201-0/+1
|
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+8
| | | | This includes starting to make use of Chalk's `Cast` trait.
* Chalkify TraitRefFlorian Diebold2021-03-181-5/+7
|
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-10/+10
|
* Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-131-5/+5
|
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-1/+1
|
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-3/+3
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Stop using `ContainerId` in `AssocContainerId`Jonas Schievink2021-03-091-1/+1
|
* Add ConstParams to the HIRLukas Wirth2021-01-011-0/+1
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+287