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