aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/op.rs
Commit message (Collapse)AuthorAgeFilesLines
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-2/+2
|
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-4/+4
| | | | ... since that's the actual method on Chalk side that matches the signature.
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-31/+35
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-5/+10
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-26/+13
|
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-11/+13
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+58