58 commits

Author	SHA1	Message	Date
Florian Diebold	6c32bbf3ca	Separate Ty and TyKind like in Chalk ... Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.	2021-03-13 16:17:15 +01:00
Laurențiu Nicola	fc9eed4836	Use upstream cov-mark	2021-03-08 22:19:44 +02:00
Lukas Wirth	7072f59fc6	Use chalk_ir::Mutability	2021-03-01 19:57:36 +01:00
Lukas Wirth	5d121cdb45	Introduce Ty::Alias	2021-03-01 14:24:00 +01:00
Lukas Wirth	11a1f13cd1	Being Ty::InferenceVar closes to chalk equivalent	2021-03-01 12:41:29 +01:00
Lukas Wirth	407196b8c0	Lift FnPointer into a struct	2021-02-28 23:53:21 +01:00
Lukas Wirth	a3f5491a1a	Inline TypeCtor into Ty	2021-02-28 19:13:37 +01:00
Aleksey Kladov	6a77ec7bbe	Rename ra_hir_ty -> hir_ty	2020-08-13 16:35:29 +02:00

Renamed from crates/ra_hir_ty/src/infer/coerce.rs (Browse further)