aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/method_resolution.rs
Commit message (Collapse)AuthorAgeFilesLines
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-35/+41
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Use Chalk Environment more directlyFlorian Diebold2021-03-121-2/+1
|
* Delete `ContainerId`Jonas Schievink2021-03-091-1/+1
|
* Stop using `ContainerId` in `AssocContainerId`Jonas Schievink2021-03-091-1/+1
|
* Use upstream cov-markLaurențiu Nicola2021-03-081-1/+1
|
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-7/+7
|
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-4/+5
|
* Introduce Ty::AliasLukas Wirth2021-03-011-4/+4
|
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-3/+3
|
* Lift FnPointer into a structLukas Wirth2021-02-281-6/+4
|
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-1/+1
|
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-2/+2
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-55/+71
|
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-3/+7
|
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-64/+26
|
* Check for dyn impls in method resolutionLukas Wirth2021-02-081-11/+16
|
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-221-3/+3
|
* Make public DefMap fields privateJonas Schievink2021-01-201-2/+2
|
* Use correct, full substs for self type in implFlorian Diebold2020-12-041-1/+7
| | | | | | | | Without arbitrary self types, the self type could never refer to the method type parameters, so this wasn't a problem; but with arbitrary self types, it can. This fixes the crash from #6668; but it doesn't make method resolution work for these methods.
* Fix case where non FnOnce variables is marked callableGrayJack2020-10-261-0/+13
|
* Use Ty::apply instead of simple and fix method resolution.Charles Lew2020-09-161-0/+8
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+769