19 commits

Author	SHA1	Message	Date
Laurențiu Nicola	7197a27028	Use triomphe Arc	2023-05-02 20:02:43 +03:00
Lukas Wirth	3fdff0ae4b	Don't merge trait_impls_in_deps results	2023-05-02 14:00:18 +02:00
hkalbasi	6312fbf521	MIR episode 4	2023-05-01 23:23:10 +03:30
Ryo Yoshida	c6aea8c2f9	Minor refactorings	2023-04-24 02:19:08 +09:00
Laurențiu Nicola	febd5065ad	Make inherent_impls_in_block and trait_impls_in_block infallible	2023-04-14 16:03:45 +03:00
Lukas Wirth	c32d51979d	internal: Make block_def_map infallible	2023-04-14 13:17:38 +02:00
Lukas Wirth	99b69525f4	hir_def::expr -> hir_def::hir, hir_def::type_ref -> hir_def::hir::type_ref	2023-04-06 19:36:25 +02:00
Lukas Wirth	1c16e4ee97	fix: Fix block local impl trait solving regressions	2023-04-06 10:37:00 +02:00
Lukas Wirth	342fd2b9f3	fix: Properly handle local trait impls	2023-03-28 08:34:29 +02:00
hkalbasi	cd67589f63	beginning of MIR	2023-02-27 23:45:54 +03:30
hkalbasi	443bc7f193	Support layout of RPIT	2023-02-06 20:50:25 +03:30
Lukas Wirth	1535881836	Replace SmolStr usage with lang item enum for lang items	2023-01-21 17:55:45 +01:00
Wilco Kusee	16bf32fcdd	Update Chalk to version 87	2022-11-29 15:25:09 +01:00
Ryo Yoshida	310a72bf47	Bump chalk to 0.86 ... Two breaking changes: - `TypeFolder` has been split into `TypeFolder` and `FallibleTypeFolder` - `ProjectionTy::self_type_parameter()` has been removed	2022-10-16 19:23:34 +09:00
Ryo Yoshida	78977cd86c	Adapt to the new generic parameter/argument order	2022-10-03 02:40:07 +09:00
Ryo Yoshida	447596cccc	Implement RustIrDatabase::generator_datum()	2022-09-13 02:43:05 +09:00
bitgaoshu	1a97ab34db	fix: #12441 False-positive type-mismatch error with generic future	2022-06-03 10:47:41 +08:00
bitgaoshu	7c5e97221f	mismatch	2022-05-21 17:26:03 +08:00
Peh	1f011fa4a3	style: rename crates to kebab case	2022-05-01 10:48:58 +00:00

Renamed from crates/hir_ty/src/chalk_db.rs (Browse further)