aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/db.rs
Commit message (Expand)AuthorAgeFilesLines
* Make block-local trait impls workFlorian Diebold2021-06-131-2/+5
* Rework obligation handlingFlorian Diebold2021-05-211-3/+3
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-211-2/+2
* Handle cycles in generic_defaults more gracefullyFlorian Diebold2021-04-291-0/+1
* Profile trait solving for all invocationsKirill Bulatov2021-04-141-1/+18
* More cleanups / module docsFlorian Diebold2021-04-091-1/+2
* Move ToChalk -> mappingFlorian Diebold2021-04-091-3/+13
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-26/+21
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-0/+6
* Replace unused hir_ty::Lifetime with chalk equivalentsLukas Wirth2021-04-051-1/+7
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-1/+1
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-4/+7
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-1/+1
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-7/+4
* Create TraitEnvironment through a queryFlorian Diebold2021-03-131-0/+3
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-2/+2
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-3/+3
* Use chalk_ir::ClosureIdFlorian Diebold2021-03-131-3/+3
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-3/+3
* Make two calls virtualLaurențiu Nicola2021-03-051-1/+1
* Remove map module from la-arena public APIAramis Razzaghipour2021-01-151-1/+1
* prepare to publish el libro de arenaAleksey Kladov2021-01-141-1/+1
* Add ConstParams to the HIRLukas Wirth2021-01-011-2/+5
* Upgrade ChalkFlorian Diebold2020-12-071-0/+6
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+158