11 commits

Author	SHA1	Message	Date
Florian Diebold	693582946f	Rewrite coercion using the new unification	2021-05-21 17:48:33 +02:00
Lukas Wirth	41f470fea8	Correctly support SelfType when searching for usages	2021-05-08 22:34:55 +02:00
Florian Diebold	90656f8674	Intern consts & lifetimes ... Slight memory usage reduction.	2021-04-08 22:48:47 +02:00
bors[bot]	3191a93185	Merge #8409 ... 8409: Various remaining fixes for Chalk IR move r=flodiebold a=flodiebold CC #8313 Co-authored-by: Florian Diebold <flodiebold@gmail.com>	2021-04-07 18:51:36 +00:00
Florian Diebold	9b4ecd3723	Fix return type of self_type_parameter	2021-04-07 20:41:52 +02:00
Florian Diebold	6777a4975d	Move hir_trait_id to extension trait	2021-04-07 20:40:01 +02:00
Florian Diebold	4c35df47e8	Move equals_ctor to TyExt ... I'd prefer getting rid of it, but it's used in the impl search and not super easy to replace there (I think ideally the impl search would do proper unification, but that's a bit more complicated).	2021-04-07 20:08:50 +02:00
Lukas Wirth	bc993bbe85	Remove TyExt::dyn_trait_ref	2021-04-06 13:58:51 +02:00
Lukas Wirth	9b4699a9be	Move Ty accessors to TyExt	2021-04-06 13:58:48 +02:00
Florian Diebold	788533d380	Move ProjectionTy methods to extension trait	2021-04-05 21:58:01 +02:00
Florian Diebold	b0fe3d929f	Add TyBuilder::unit() and TyExt::is_unit()	2021-04-04 13:16:38 +02:00