aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/builder.rs
Commit message (Collapse)AuthorAgeFilesLines
* Rewrite coercion using the new unificationFlorian Diebold2021-05-211-9/+1
|
* Remove unusedFlorian Diebold2021-04-081-1/+1
|
* Fix TyBuilder methodsFlorian Diebold2021-04-081-5/+5
|
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
|
* Align FnPointer with ChalkFlorian Diebold2021-04-051-4/+7
|
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-2/+3
|
* Binders::subst -> substituteFlorian Diebold2021-04-051-2/+2
|
* Use VariableKinds in BindersFlorian Diebold2021-04-051-1/+1
|
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-1/+1
|
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-2/+2
| | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk`
* Add commentFlorian Diebold2021-04-041-0/+3
|
* Replace Substitution::type_paramsFlorian Diebold2021-04-041-0/+5
|
* Move TyBuilder to its own moduleFlorian Diebold2021-04-041-0/+211