169 commits

Author	SHA1	Message	Date
Aleksey Kladov	d569869f7a	Decouple more	2019-11-27 15:56:20 +03:00
Aleksey Kladov	825049bc62	Decouple	2019-11-27 12:34:26 +03:00
Aleksey Kladov	4e415a269e	Remove ns-polymorphic type_for_def	2019-11-26 21:04:24 +03:00
Aleksey Kladov	d118997b93	Remove assoc_type_by_name helper	2019-11-26 17:44:43 +03:00
Aleksey Kladov	a443b5033c	Id-ify Ty::Adt	2019-11-26 14:29:12 +03:00
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