979 commits

Author	SHA1	Message	Date
bors[bot]	419eec3d2f	Merge #1771 ... 1771: Further tweak for macro_use on extern crate r=matklad a=uHOOCCOOHu Some more tweaks to #1743 to behave more like `rustc` 1. Hoist macros from `#[macro_use] extern crate`, so that they can be used before `extern crate`. 2. Implicit `#[macro_use]` for `prelude` if exists Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>	2019-09-05 19:50:06 +00:00
Aleksey Kladov	5a38a80d1a	rename test file to match impl file	2019-09-05 21:43:32 +03:00
Aleksey Kladov	3e5f7299e1	move mod resolution to a separate file	2019-09-05 20:27:10 +03:00
uHOOCCOOHu	67d33cc21a	Hoist macros from extern crate with macro_use	2019-09-05 18:50:04 +08:00
uHOOCCOOHu	dec43a0c5d	Consider prelude to be macro_use	2019-09-05 18:50:04 +08:00
bors[bot]	6702f5b7b5	Merge #1743 ... 1743: Support `#[macro_use]` on `extern crate` r=matklad a=uHOOCCOOHu Unfortunately, #1688 is still an issue. My guess is wrong :( Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>	2019-09-05 09:04:02 +00:00
uHOOCCOOHu	3ff5d7e73c	Fix typo	2019-09-05 12:03:32 +08:00
uHOOCCOOHu	0d23286caf	Let macro_use bypass module scope	2019-09-05 11:46:00 +08:00
Florian Diebold	b8c1e402fa	Make type walking infrastructure a bit nicer ... If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet.	2019-09-03 14:00:35 +02:00
Florian Diebold	c4fcfa2b0d	Properly format impl Trait<Type = Foo> types ... It's a bit complicated because we basically have to 'undo' the desugaring, and the result is very dependent on the specifics of the desugaring and will probably produce weird results otherwise.	2019-09-03 14:00:35 +02:00
Florian Diebold	741e350d4b	Add support for associated type bindings (where Trait<Type = X>)	2019-09-03 14:00:35 +02:00
Florian Diebold	966ab9abd2	Add test for assoc type bindings	2019-09-03 13:25:29 +02:00
Aleksey Kladov	9c3b25177e	Correctly build BodySourceMap for macro-expanded expressions	2019-09-03 11:04:38 +03:00
Aleksey Kladov	4b51c92fee	slightly simplify expr lowering flow	2019-09-03 09:41:21 +03:00
Aleksey Kladov	da850361ba	clearer ignore	2019-09-03 09:01:09 +03:00
Aleksey Kladov	82b218b7bf	remove needless refs	2019-09-03 08:59:44 +03:00
Aleksey Kladov	48ffbf29b7	use recrod terminology for hir::Pat	2019-09-03 08:59:09 +03:00
Aleksey Kladov	db69d134fb	move expr lowering to lower	2019-09-03 08:56:36 +03:00
Aleksey Kladov	5e3f291195	fix hir for new block syntax	2019-09-02 21:23:19 +03:00
Aleksey Kladov	f377b94628	remove useless trait	2019-09-02 19:45:41 +03:00
Florian Diebold	f92177cfb5	Add an expr_source method analogous to the source methods in the code model ... ... and use that instead of exposing the source map.	2019-09-02 14:56:38 +02:00
Florian Diebold	a7858bb7bf	Report type mismatches in analysis-stats ... Only the number usually; each one individually when running with -v.	2019-09-02 14:56:38 +02:00
uHOOCCOOHu	a66214b34e	Fix import strategy of macro_use and its test	2019-09-02 14:36:20 +08:00
Aleksey Kladov	4b6bccb58c	⬆️ once_cell	2019-09-01 23:18:15 +03:00
uHOOCCOOHu	dfa758f6a9	Add test	2019-09-01 02:03:33 +08:00
uHOOCCOOHu	f5bea9051b	Support resolution of #[macro_use] extern crate	2019-09-01 01:54:41 +08:00
Aleksey Kladov	0f6c048ce1	⬆️ insta	2019-08-29 17:04:01 +03:00
Kirill Bulatov	4adfdea1ad	Small fixes	2019-08-26 23:00:35 +03:00
Kirill Bulatov	590aed2eec	Remove redundant tests	2019-08-26 23:00:27 +03:00
Florian Diebold	c256a72b03	Fix 'missing Ok in tail expr' validation ... Because of the coercion change, the type mismatch now only happens on the block expression.	2019-08-26 22:44:50 +03:00
Florian Diebold	e37b6c5837	Make infer_block not unify; add back calculate_least_upper_bound	2019-08-26 22:44:50 +03:00
Kirill Bulatov	44386d5373	An attempt to add the coercion logic for Never	2019-08-26 22:44:50 +03:00
Kirill Bulatov	89f3cc587d	Properly coerce never types	2019-08-26 22:44:50 +03:00
Kirill Bulatov	8b612251fd	Remove extra inference test	2019-08-26 22:44:50 +03:00
Kirill Bulatov	44cf7b34fe	Fix never in if expressions	2019-08-26 22:44:50 +03:00
Kirill Bulatov	c1f47c3788	Add test marks	2019-08-26 22:44:50 +03:00
Kirill Bulatov	0ce05633a1	Fix match type inference for Never match arms	2019-08-26 22:44:50 +03:00
Kirill Bulatov	f63cfd5fca	Tests	2019-08-26 22:44:50 +03:00
bors[bot]	cd433ed194	Merge #1734 ... 1734: Strip indents and empty lines in check_apply_diagnostic_fix_from_position r=matklad a=matklad Co-authored-by: Phil Ellison <phil.j.ellison@gmail.com>	2019-08-25 09:58:54 +00:00
Phil Ellison	6620949cae	Simplify checking return type, add new test	2019-08-25 12:56:23 +03:00
Phil Ellison	6a04e9ce14	Fix build for Diagnostic type change	2019-08-25 12:56:23 +03:00
Phil Ellison	200470692f	Cast SyntaxNodePtr to AstPtr directly	2019-08-25 12:56:23 +03:00
Phil Ellison	c8911e872e	Remove reliance on expr ordering	2019-08-25 12:56:23 +03:00
Phil Ellison	4f6f3933ec	cargo format	2019-08-25 12:55:56 +03:00
Phil Ellison	a40e390860	Check type rather than just name in ok-wrapping diagnostic. Add test for handling generic functions (which currently fails)	2019-08-25 12:55:56 +03:00
Phil Ellison	d025016f92	Mock std String and Result types in tests for ok-wrapping diagnostic	2019-08-25 12:55:55 +03:00
Phil Ellison	bacb938ab0	Add type_mismatches to InferenceResult and use this in ok-wrapping code fix	2019-08-25 12:55:55 +03:00
Phil Ellison	d00a285fa7	Initial implementation of Ok-wrapping	2019-08-25 12:55:55 +03:00
Dylan MacKenzie	1e991f2eaf	Convert BoxPat to Missing in HIR	2019-08-23 16:07:11 -07:00
Aleksey Kladov	5b18a4eef9	rename struct -> record, pos -> tuple	2019-08-23 16:59:50 +03:00