aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/method_resolution.rs
Commit message (Expand)AuthorAgeFilesLines
* Rework obligation handlingFlorian Diebold2021-05-211-13/+35
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-211-1/+2
* Collect inherent impls in unnamed constsJonas Schievink2021-04-191-16/+26
* Remove assertion in impl collectionFlorian Diebold2021-04-111-4/+3
* Include more info in assertJonas Schievink2021-04-111-3/+3
* Merge #8406bors[bot]2021-04-091-18/+63
|\
| * Improve indexing of implsFlorian Diebold2021-04-091-18/+63
* | Fix crash on syn involving lifetimes returned by ChalkFlorian Diebold2021-04-091-0/+1
|/
* Remove unusedFlorian Diebold2021-04-081-7/+3
* Replace some `fold` callsFlorian Diebold2021-04-081-16/+13
* InEnvironment::new takes a referenceFlorian Diebold2021-04-071-1/+1
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-2/+2
* Free Ty::def_cratesLukas Wirth2021-04-071-54/+52
* Collect trait impls inside unnamed constsJonas Schievink2021-04-071-19/+35
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-1/+3
* Use a constructor function for Static lifetimesLukas Wirth2021-04-061-14/+7
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-4/+14
* Align FnPointer with ChalkFlorian Diebold2021-04-051-8/+8
* Get rid of Substitution::suffixFlorian Diebold2021-04-051-4/+6
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-2/+2
* Binders::subst -> substituteFlorian Diebold2021-04-051-2/+2
* Hide Binders internals moreFlorian Diebold2021-04-051-4/+4
* Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-051-2/+2
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-1/+1
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-1/+1
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-041-3/+3
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-041-5/+3
* Use bitflags to compress function propertiesJonas Schievink2021-04-031-1/+1
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-7/+5
* 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