164 commits

Author	SHA1	Message	Date
Aleksey Kladov	8c3e372835	Remove Resolver from autoderef ... Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment.	2019-11-25 13:10:26 +03:00
Aleksey Kladov	e48430cbae	Simplify	2019-11-24 20:53:42 +03:00
Aleksey Kladov	63e3ea38d3	Don't redo field resolution in the IDE	2019-11-24 20:06:55 +03:00
Aleksey Kladov	434f108ada	Simplify	2019-11-24 19:01:19 +03:00
Aleksey Kladov	fe119fef27	Hide data from public API	2019-11-22 18:51:53 +03:00
Aleksey Kladov	d4f4ae0dd8	Move const&static date to hir_def	2019-11-22 18:46:39 +03:00
Aleksey Kladov	64df759418	Make ImplData's fields public	2019-11-22 17:42:56 +03:00
Aleksey Kladov	78f3b0627c	Move FunctionData to hir_def	2019-11-22 17:18:04 +03:00
Aleksey Kladov	6d64798a23	Move resolver to hir_def	2019-11-21 15:39:09 +03:00
Aleksey Kladov	00684d708b	Decouple	2019-11-21 15:24:51 +03:00
Aleksey Kladov	0102fb4133	Decouple Resolver	2019-11-21 13:25:03 +03:00
Aleksey Kladov	6241cf9a59	Add HasResolver trait	2019-11-20 22:22:32 +03:00
Aleksey Kladov	7c275a7ed2	Remove hir/adt.rs	2019-11-20 21:34:12 +03:00
Aleksey Kladov	1583ab1558	Move body queries to hir_def	2019-11-14 17:37:22 +03:00
Aleksey Kladov	70dd70b1fc	Reduce duplication between uncertain floats & ints	2019-11-13 09:56:33 +03:00
Aleksey Kladov	fe00db72b9	Remove owner from Body	2019-11-12 16:46:27 +03:00
Aleksey Kladov	13735d91a7	Move diagnostics to hir_expand	2019-11-02 23:42:38 +03:00
Aleksey Kladov	872ac566bf	push name down to hir_expand	2019-10-30 18:56:20 +03:00
Aleksey Kladov	e5300ad3ba	remove forward pointer for type_ref	2019-10-30 17:43:14 +03:00
Aleksey Kladov	e564334320	remove forward pointer to Path	2019-10-30 17:43:14 +03:00
Aleksey Kladov	f8ddef875a	remove forward pointer for name	2019-10-30 17:43:14 +03:00
Laurențiu Nicola	a6b980d6d4	Bump deps	2019-10-17 18:08:11 +03:00
Florian Diebold	2955fbc7e1	Split up infer.rs further ... - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`	2019-10-12 18:41:11 +02:00
ice1000	b043358be9	Address comments: fix docs, add completion test for Self.	2019-10-08 07:32:41 -04:00
ice1000	6bad638928	Support inferring Self type in enum definitions ... Signed-off-by: ice1000 <ice1000kotlin@foxmail.com>	2019-10-07 19:40:14 -04:00
Laurențiu Nicola	f491567fb3	Handle divergence in type inference for blocks	2019-10-02 17:31:34 +03:00
bors[bot]	2b69c84396	Merge #1815 ... 1815: Support correct `$crate` expansion in macros r=uHOOCCOOHu a=uHOOCCOOHu This PR makes normal use cases of `$crate` from macros work as expected. It makes more macros from `std` work. Type inference works well with `panic`, `unimplemented`, `format`, and maybe more. Sadly that `vec![1, 2, 3]` still not works, but it is not longer an issue about macro. Screenshot:  Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>	2019-09-27 02:58:26 +00:00
Florian Diebold	daaf46177e	Add SubstsBuilder ... + further refactoring.	2019-09-26 23:03:39 +02:00
uHOOCCOOHu	128dc5355b	Refactor Name ready for hygienic macro	2019-09-27 02:04:47 +08:00
uHOOCCOOHu	29e56b8ee4	Support all coercion places	2019-09-26 06:16:58 +08:00
uHOOCCOOHu	5807e261c2	Support custom CoerceUnsized ... Split out tests about coercion	2019-09-26 06:16:52 +08:00
uHOOCCOOHu	bf161fa3e5	Better handle never type and branch merging ... Split out tests for never type to another file	2019-09-26 06:04:43 +08:00
uHOOCCOOHu	4bb66df6de	Support basic implicit type coerce	2019-09-26 06:04:39 +08:00
uHOOCCOOHu	5205c84ec7	Support auto-deref in argument position	2019-09-26 06:02:04 +08:00
Shotaro Yamada	9c45a9e586	Remove redundant clone()	2019-09-25 10:32:01 +09:00
Florian Diebold	6a86706650	Implement the call argument checking order hack for closures	2019-09-24 23:05:12 +02:00
Florian Diebold	a0aeb6e7ad	Make the closure_1 test work	2019-09-24 23:05:12 +02:00
Florian Diebold	619a8185a6	Give closures types	2019-09-24 23:05:12 +02:00
Florian Diebold	4f1afe77b9	Split off path expression inference code into submodule	2019-09-23 18:53:52 +02:00
Florian Diebold	a040fde3ae	Remove TraitItem and ImplItem in favor of AssocItem	2019-09-17 19:47:45 +02:00
Florian Diebold	fe1dfd2b20	Refactor some more ... Type-relative paths (`<T>::foo`) also need to work in type context, for example `<T>::Item` is legal. So rather than returning the type ref from the resolver function, just check it before.	2019-09-17 19:47:45 +02:00
Florian Diebold	406280e52f	Refactor associated item resolution more ... When resolving an associated item in value namespace, use the `Ty` lowering code for the segments before the last instead of replicating it.	2019-09-17 19:47:45 +02:00
Florian Diebold	828d60574f	Refactor a bit to prepare for resolving trait assoc items	2019-09-17 19:47:45 +02:00
bors[bot]	ba583091e6	Merge #1817 ... 1817: Support path starting with a type r=matklad a=uHOOCCOOHu The path syntax `<Ty>::foo` Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>	2019-09-16 12:43:21 +00:00
Dylan MacKenzie	beac779c96	Gracefully handle const _ items in ConstData	2019-09-15 16:48:50 -07:00
uHOOCCOOHu	7ed3be3291	Define known paths and group names	2019-09-15 20:14:33 +08:00
uHOOCCOOHu	4926bed426	Support path starting with a type	2019-09-15 19:40:32 +08:00
Florian Diebold	a61615c955	Upgrade Chalk ... ... and remove Ty::UnselectedProjection. It'll be handled differently.	2019-09-14 10:04:56 +02:00
Aleksey Kladov	51e2d76b98	Specify desirable namespace when calling resolve ... That way, we are able to get rid of a number of unreachable statements	2019-09-13 16:24:10 +03:00
Aleksey Kladov	114a1b878e	rename AdtDef -> Adt	2019-09-13 00:34:52 +03:00