aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/coerce.rs
Commit message (Collapse)AuthorAgeFilesLines
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-17/+21
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Use upstream cov-markLaurențiu Nicola2021-03-081-3/+2
|
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-7/+7
|
* Introduce Ty::AliasLukas Wirth2021-03-011-5/+5
|
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-4/+4
|
* Lift FnPointer into a structLukas Wirth2021-02-281-2/+2
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-43/+36
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+197