aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/chalk_db.rs
Commit message (Collapse)AuthorAgeFilesLines
* Add coverage mark for block local implsFlorian Diebold2021-06-201-1/+4
|
* Make block-local trait impls workFlorian Diebold2021-06-131-8/+28
| | | | | As long as either the trait or the implementing type are defined in the same block.
* cargo fmtMaan20032021-06-131-2/+1
|
* clippy::redundant_closureMaan20032021-06-131-1/+1
|
* hir_ty: don't pass where clauses of associated types down to chalk (temp. ↵cynecx2021-05-301-3/+5
| | | | fix #9052)
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-211-10/+5
|
* More moving stuff aroundFlorian Diebold2021-04-091-6/+9
|
* Move some more stuff to better placesFlorian Diebold2021-04-091-40/+61
|
* Move ToChalk -> mappingFlorian Diebold2021-04-091-15/+17
|
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-0/+714
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`.