11 commits

Author	SHA1	Message	Date
Florian Diebold	c82d1823a1	Create TraitEnvironment through a query	2021-03-13 20:38:45 +01:00
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
Florian Diebold	ec70387a4c	Use Chalk Environment more directly	2021-03-12 19:12:17 +01:00
Lukas Wirth	5d121cdb45	Introduce Ty::Alias	2021-03-01 14:24:00 +01:00
Florian Diebold	78dd548243	Upgrade Chalk ... Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628.	2020-12-07 11:48:58 +01:00
Florian Diebold	baeb16e83f	Improve Chalk debugging ... - add panic context for the trait goal if CHALK_DEBUG is set - print the Chalk program even if we're panicking - log goal/solution while TLS is still set	2020-10-23 15:28:02 +02:00
Jeremy Kolb	409090e74c	Chalk 0.23	2020-08-16 12:15:44 -04:00
Wilco Kusee	de282ddd86	Only print chalk programs with CHALK_PRINT	2020-08-14 14:52:07 +02:00
Wilco Kusee	10c33275b0	Only use logging db if CHALK_DEBUG is active	2020-08-14 11:43:10 +02:00
Wilco Kusee	58e338a729	Print chalk programs in debug output	2020-08-14 11:43:10 +02: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/traits.rs (Browse further)