aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits.rs
Commit message (Collapse)AuthorAgeFilesLines
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-21/+13
| | | | This includes starting to make use of Chalk's `Cast` trait.
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-1/+0
| | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.
* 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
| | | | | 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-10/+13
|
* Introduce Ty::AliasLukas Wirth2021-03-011-1/+1
|
* Upgrade ChalkFlorian Diebold2020-12-071-8/+5
| | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628.
* Improve Chalk debuggingFlorian Diebold2020-10-231-7/+23
| | | | | | - add panic context for the trait goal if CHALK_DEBUG is set - print the Chalk program even if we're panicking - log goal/solution while TLS is still set
* 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