aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* More cleanups / module docsFlorian Diebold2021-04-091-1/+3
* Move ToChalk -> mappingFlorian Diebold2021-04-091-1/+1
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-9/+5
* Remove unusedFlorian Diebold2021-04-081-10/+2
* Remove identity impls for ToChalkFlorian Diebold2021-04-081-1/+1
* Fix missing match armsFlorian Diebold2021-04-081-0/+1
* Make ToChalk implementations identityFlorian Diebold2021-04-081-14/+1
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-1/+1
* Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-061-12/+4
* Pass interner to ProjectionTy::self_type_parameterLaurențiu Nicola2021-04-051-1/+1
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-86/+2
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+1
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-9/+8
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-21/+13
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-1/+0
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-6/+6
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-16/+21
* Chalkify TraitRefFlorian Diebold2021-03-181-1/+1
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-2/+2
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-1/+1
* Create TraitEnvironment through a queryFlorian Diebold2021-03-131-0/+9
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-2/+4
* Use Chalk Environment more directlyFlorian Diebold2021-03-121-10/+13
* Introduce Ty::AliasLukas Wirth2021-03-011-1/+1
* Upgrade ChalkFlorian Diebold2020-12-071-8/+5
* Improve Chalk debuggingFlorian Diebold2020-10-231-7/+23
* Chalk 0.23Jeremy Kolb2020-08-161-2/+2
* Only print chalk programs with CHALK_PRINTWilco Kusee2020-08-141-10/+15
* Only use logging db if CHALK_DEBUG is activeWilco Kusee2020-08-141-12/+15
* Print chalk programs in debug outputWilco Kusee2020-08-141-2/+7
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+272