aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/db.rs
Commit message (Expand)AuthorAgeFilesLines
* 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