32 commits

Author	SHA1	Message	Date
hkalbasi	443bc7f193	Support layout of RPIT	2023-02-06 20:50:25 +03:30
Lukas Wirth	4b4eabad3c	Record method resolution for try expressions	2023-01-27 11:25:34 +01:00
Lukas Wirth	f8ed4d7ae4	Use lang item resolution instead of known paths	2023-01-21 19:03:36 +01:00
Lukas Wirth	1535881836	Replace SmolStr usage with lang item enum for lang items	2023-01-21 17:55:45 +01:00
Ryo Yoshida	c53064fb58	Enforce builtin binop expectations even without lang items	2023-01-17 20:17:15 +09:00
Ryo Yoshida	d01630c8f3	Apply fallback to scalar type variables before final obligation resolution	2023-01-06 06:07:08 +09:00
Lukas Wirth	eee7de0225	Diagnose private assoc item accesses	2023-01-01 13:24:48 +01:00
Lukas Wirth	e3d144d17f	Diagnose private field accesses	2022-12-31 14:20:59 +01:00
Maybe Waffle	16264a3a53	fixup a doc comment	2022-12-28 20:43:12 +00:00
Ryo Yoshida	bb99d2a6fb	fix: resolve all inference vars in InferenceResult::assoc_resolutions	2022-12-14 23:07:43 +09:00
Florian Diebold	d3cb032f7e	Make assoc_resolutions always have a Substitution	2022-12-10 17:05:33 +01:00
bors	a3ea20a142	Auto merge of #13725 - bvanjoi:resolve-const-triat-impls, r=flodiebold ... feat: resolve const for trait impls Fixed #13694	2022-12-10 13:58:28 +00:00
bvanjoi	7012b50db5	feat: resolve const for trait impls(close #13694)	2022-12-10 20:06:25 +08:00
Ryo Yoshida	34b11d9981	fix: normalize projection after discarding free BoundVars in RPIT	2022-12-10 04:23:23 +09:00
hkalbasi	05906da0ec	use rustc crates instead of copy paste	2022-12-07 01:59:38 +03:30
Crauzer	b3bd5a471e	implement vararg type collection from function params	2022-11-29 00:32:13 +01:00
Laurențiu Nicola	79923c382a	⬆️ rust-analyzer	2022-11-09 21:49:10 +02:00
Laurențiu Nicola	8807fc4cc3	⬆️ rust-analyzer	2022-10-26 17:40:41 +03:00
Laurențiu Nicola	a99a48e786	⬆️ rust-analyzer	2022-10-18 09:12:49 +03:00
Laurențiu Nicola	4f55ebbd4f	⬆️ rust-analyzer	2022-10-11 10:37:35 +03:00
lcnr	6f13f12301	rustc_typeck to rustc_hir_analysis	2022-09-27 10:37:23 +02:00
Laurențiu Nicola	f5fde4df43	⬆️ rust-analyzer	2022-09-20 17:39:17 +03:00
Laurențiu Nicola	65e1dc4d9c	⬆️ rust-analyzer	2022-09-06 21:20:49 +03:00
Laurențiu Nicola	31519bb394	⬆️ rust-analyzer	2022-08-23 10:05:52 +03:00
Amos Wenger	7e285e1ef5	Run cargo fmt	2022-07-20 15:06:15 +02:00
Amos Wenger	816f7fe12a	Run cargo fix --edition-idioms	2022-07-20 15:02:08 +02:00
Artur Sinila	a96f0aa7cd	feat: support negative const generic parameters ... * feat: support `bool` & `char` const generics	2022-07-17 04:18:53 +03:00
Ryo Yoshida	b7a4175cbb	Implement type inference for assignee expressions	2022-06-01 01:28:12 +09:00
Ryo Yoshida	62d6b5a594	Generalize some inference functions for patterns	2022-06-01 01:22:11 +09:00
Lukas Wirth	6b696fced8	feat: Add binding mode inlay hints	2022-05-14 14:58:35 +02:00
iDawer	970276b559	'inference': collect RPIT obligations ... Collect obligations from RPITs (Return Position `impl Trait`) of a function which is being inferred. This allows inferring {unknown}s from RPIT bounds.	2022-05-03 15:59:12 +05:00
Peh	1f011fa4a3	style: rename crates to kebab case	2022-05-01 10:48:58 +00:00

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