aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/walk.rs
Commit message (Collapse)AuthorAgeFilesLines
* Get rid of walk_mut [not compiling]Florian Diebold2021-04-081-272/+0
|
* Add HasInterner boundsFlorian Diebold2021-04-081-2/+2
|
* Replace all the types by their Chalk versionsFlorian Diebold2021-04-081-1/+1
|
* Remove Ty::substs{_mut}Florian Diebold2021-04-071-10/+16
| | | | | | Almost all uses actually only care about ADT substs, so it's better to be explicit. The methods were a bad abstraction anyway since they already didn't include the inner types of e.g. `TyKind::Ref` anymore.
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-2/+8
|
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-2/+2
|
* Fix shifting of binders in FnPointerFlorian Diebold2021-04-051-0/+13
| | | | | | | | | - don't shift in/out for Chalk mapping (we want to have the same binders now) - do shift in when creating the signature for a closure (though it shouldn't matter much) - do shift in when lowering a `fn()` type - correctly deal with the implied binder in TypeWalk
* Align FnPointer with ChalkFlorian Diebold2021-04-051-2/+17
|
* Rename shift_bound_vars{_out} to align with ChalkFlorian Diebold2021-04-051-10/+12
|
* Hide Binders internals moreFlorian Diebold2021-04-051-4/+4
|
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-2/+2
|
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-2/+24
|
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-0/+359
- all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk`