7 commits

Author	SHA1	Message	Date
Lukas Wirth	4b7fc69315	Assert index relationship between type_variable_table and var_unification_table	2021-03-01 13:54:17 +01:00
Lukas Wirth	11a1f13cd1	Being Ty::InferenceVar closes to chalk equivalent	2021-03-01 12:41:29 +01:00
Lukas Wirth	a3f5491a1a	Inline TypeCtor into Ty	2021-02-28 19:13:37 +01:00
Lukas Wirth	5183c9f083	Introduce TypeCtor::Scalar	2021-02-28 01:20:04 +01:00
Aleksey Kladov	ba8d6d1e4e	Remove more unreachable pubs	2020-11-02 16:58:33 +01:00
Aleksey Kladov	b610118453	Deny unreachable-pub ... It's very useful when `pub` is equivalent to "this is crate's public API", let's enforce this! Ideally, we should enforce it for local `cargo test`, and only during CI, but that needs https://github.com/rust-lang/cargo/issues/5034.	2020-11-02 14:07:08 +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/unify.rs (Browse further)