aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/method_resolution.rs
Commit message (Expand)AuthorAgeFilesLines
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-3/+4
* Use arrayvec 0.6Laurențiu Nicola2021-03-251-2/+2
* Merge #7907bors[bot]2021-03-241-4/+37
|\
| * hir_def: move visibility queries from hir_ty to hir_defcynecx2021-03-241-1/+1
| * hir_ty: add coverage testing for autoderef_visibility_method testcynecx2021-03-201-0/+1
| * hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` down...cynecx2021-03-201-1/+6
| * hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-201-4/+31
* | Align InEnvironment with ChalkFlorian Diebold2021-03-211-3/+3
* | Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-15/+34
|/
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-3/+3
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+3
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-7/+7
* Merge #8020bors[bot]2021-03-151-1/+9
|\
| * Speedup trait impl search for goto_implementationLukas Wirth2021-03-151-1/+9
* | Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-4/+2
|/
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-6/+9
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-35/+41
* 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
* 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