aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/db.rs
Commit message (Collapse)AuthorAgeFilesLines
* Rework obligation handlingFlorian Diebold2021-05-211-3/+3
| | | | | | | | We can't do the easy hack that we did before anymore, where we kept track of whether any inference variables changed since the last time we rechecked obligations. Instead, we store the obligations in canonicalized form; that way we can easily check the inference variables to see whether they have changed since the goal was canonicalized.
* 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
| | | | | 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