71 commits

Author	SHA1	Message	Date
hkalbasi	8a3ad7c3d5	Support evaluating inherent associated constants with generics	2023-03-21 02:20:30 +03:30
hkalbasi	3303a6eff5	Implement some intrinsics	2023-03-20 21:48:01 +03:30
hkalbasi	8e73ea5253	Desugar try blocks	2023-03-19 13:02:51 +03:30
hkalbasi	eb4939e217	Support overloaded deref MIR lowering	2023-03-17 14:02:55 +03:30
hkalbasi	a063f000ff	Support function pointer MIR lowering	2023-03-17 13:08:35 +03:30
hkalbasi	b7b9ae59a0	desugar ? operator	2023-03-17 13:08:35 +03:30
Lukas Wirth	3bf07a5f04	Simplify	2023-03-15 13:54:06 +01:00
Zachary S	6746a08b44	fix: Fix return type of async closures. ... (rebased onto 6dfd8ae)	2023-03-15 13:10:00 +01:00
hkalbasi	6377d50bd1	Support "for loop" MIR lowering	2023-03-06 21:09:09 +03:30
Lukas Wirth	a51267c5e0	Allocate traits in scope upfront when type checking instead of recollecting them everytime	2023-03-05 15:04:46 +01:00
Lukas Wirth	a8606e5363	Re-use the resolver in InferenceContext instead of rebuilding it on every expression change	2023-03-05 14:37:44 +01:00
Lukas Wirth	b85e2af898	Correctly handle non-semi statement expressions for never coercions	2023-03-04 19:48:03 +01:00
Lukas Wirth	1b5bc83118	Remove weird nesting of effect blocks in hir	2023-03-04 14:45:57 +01:00
Lukas Wirth	24ba1bed04	Set expectation for no-semi expression statements to unit	2023-03-04 12:48:57 +01:00
Lukas Wirth	e7485a0416	Diagnose unresolved method calls	2023-03-03 20:43:13 +01:00
Lukas Wirth	78b2dd813a	Diagnose unresolved field accesses	2023-03-03 20:43:10 +01:00
Lukas Wirth	3c7a0aa00e	Diagnose call expression on non-callable things	2023-03-03 20:43:05 +01:00
Lukas Wirth	41f234df09	Diagnose value breaks in incorrect breakables	2023-03-03 17:28:57 +01:00
Lukas Wirth	02eb2d758e	Distinguish between expected and final type in CoerceMany	2023-03-03 16:52:09 +01:00
Lukas Wirth	522823f610	Fix text fixtures of missing_match_arms diagnostics	2023-03-03 11:13:06 +01:00
Lukas Wirth	ec273c3d12	Split pattern inference into more functions	2023-03-03 10:42:46 +01:00
hkalbasi	cd67589f63	beginning of MIR	2023-02-27 23:45:54 +03:30
Lukas Wirth	7677f41f41	Preallocate some vecs	2023-02-10 16:42:09 +01:00
Lukas Wirth	79492cb8ae	internal: Revert castable expectation and simplify	2023-02-10 16:08:47 +01:00
Lukas Wirth	f8f1cb93e0	fix: Implement Expactation::Castable and add a test case for it	2023-02-08 13:07:59 +01:00
Lukas Wirth	4b4eabad3c	Record method resolution for try expressions	2023-01-27 11:25:34 +01:00
Lukas Wirth	a7f81e3cdc	Record method resolution for index expressions	2023-01-27 11:15:05 +01:00
Lukas Wirth	54da0bfbf0	Record method resolution for call expressions	2023-01-27 11:06:41 +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	461435adab	Enforce builtin binop expectations on single references ... Also don't enforce them on non-builtin types	2023-01-17 20:17:09 +09:00
Maybe Waffle	bd04416aaa	Iterate over arrays dirrectly, instead of going through a slice	2023-01-14 13:02:28 +00:00
Daniel Eades	d218b237fd	collapse some nested blocks	2023-01-10 20:40:08 +00:00
bors	f77b68a3cb	Auto merge of #13860 - danieleades:clippy, r=lnicola ... fix a bunch of clippy lints fixes a bunch of clippy lints for fun and profit i'm aware of this repo's position on clippy. The changes are split into separate commits so they can be reviewed separately	2023-01-08 17:29:57 +00:00
Lukas Wirth	b996a54cd8	Skip lifetime elision on fn pointers and fn trait types	2023-01-03 11:58:31 +01:00
Lukas Wirth	f51111aacb	Write down adjustments introduced by binary operators	2023-01-02 23:16:09 +01:00
Daniel Eades	efd2c20e96	remove useless conversions	2023-01-02 15:02:54 +00:00
Daniel Eades	ed128872eb	remove needless borrows	2023-01-02 14:52:32 +00: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
bors	20b0ae4afe	Auto merge of #13857 - WaffleLapkin:yeet, r=Veykril ... feat: Implement yeeting See tracking issue: https://github.com/rust-lang/rust/issues/96373 Before:  After: 	2022-12-30 21:48:23 +00:00
Maybe Waffle	346bf5fb5b	Implement do yeet expression	2022-12-28 23:17:13 +00:00
Maybe Waffle	aaa682c534	Implement try{} block type inference	2022-12-28 21:25:47 +00:00
Maybe Waffle	eecab99dec	Allow break and co to go through try{} blocks	2022-12-28 20:56:58 +00:00
Ryo Yoshida	db8c7523f8	fix: disregard type variable expectation for if expressions	2022-11-01 00:15:05 +09:00
Lukas Wirth	8047512dca	Revert "feat: Diagnose some incorrect usages of the question mark operator"	2022-10-18 14:18:59 +02:00
Lukas Wirth	381366f1dd	Diagnose incorrect usages of the question mark operator	2022-10-16 12:58:24 +02:00
Ryo Yoshida	78977cd86c	Adapt to the new generic parameter/argument order	2022-10-03 02:40:07 +09:00
Ryo Yoshida	6d8903ae5f	fix: infer for-loop item type with IntoIterator and Iterator	2022-09-29 19:48:08 +09:00
Ryo Yoshida	77c40f878d	Implement type inference for generator and yield expressions	2022-09-13 02:42:52 +09:00