aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/db.rs
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`.
* 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
| | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass.
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-1/+1
| | | | This includes starting to make use of Chalk's `Cast` trait.
* 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
| | | | | | It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private.
* 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
| | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628.
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+158