aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/chalk_ext.rs
Commit message (Collapse)AuthorAgeFilesLines
* Rewrite coercion using the new unificationFlorian Diebold2021-05-211-0/+5
|
* Correctly support SelfType when searching for usagesLukas Wirth2021-05-081-2/+34
|
* Intern consts & lifetimesFlorian Diebold2021-04-081-1/+1
| | | | Slight memory usage reduction.
* Merge #8409bors[bot]2021-04-071-2/+12
|\ | | | | | | | | | | | | | | 8409: Various remaining fixes for Chalk IR move r=flodiebold a=flodiebold CC #8313 Co-authored-by: Florian Diebold <[email protected]>
| * Fix return type of `self_type_parameter`Florian Diebold2021-04-071-2/+2
| |
| * Move hir_trait_id to extension traitFlorian Diebold2021-04-071-0/+10
| |
* | Move `equals_ctor` to `TyExt`Florian Diebold2021-04-071-1/+34
|/ | | | | | I'd prefer getting rid of it, but it's used in the impl search and not super easy to replace there (I think ideally the impl search would do proper unification, but that's a bit more complicated).
* Remove TyExt::dyn_trait_refLukas Wirth2021-04-061-10/+4
|
* Move Ty accessors to TyExtLukas Wirth2021-04-061-3/+232
|
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-051-1/+27
|
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-0/+13