92 commits

Author	SHA1	Message	Date
Lukas Wirth	bea1c71f83	Use struct_tail_without_normalization in Expectation::rvalue_hint	2023-03-29 14:49:06 +02:00
bors	7a98e24777	Auto merge of #14431 - Veykril:simplify, r=Veykril ... minor: Simplify	2023-03-29 07:28:42 +00:00
Lukas Wirth	8ea1afce28	Simplify	2023-03-28 16:32:26 +02:00
Lukas Wirth	342fd2b9f3	fix: Properly handle local trait impls	2023-03-28 08:34:29 +02:00
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	453ae2e00e	Support range MIR lowering	2023-03-18 02:06:36 +03:30
hkalbasi	9ad83deecc	Support overloaded index MIR lowering	2023-03-17 19:10:25 +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	d7da9e64d1	Add storage dead for let bindings without initializer	2023-03-14 12:15:16 +03:30
hkalbasi	af90ec8096	Partially support "overloaded deref" MIR lowering	2023-03-06 21:09:09 +03:30
hkalbasi	6377d50bd1	Support "for loop" MIR lowering	2023-03-06 21:09:09 +03:30
hkalbasi	61ad6a96ad	Add BindingId	2023-03-06 21:09:08 +03:30
Lukas Wirth	d8b1ec6a25	Remove unnecessary option wrapping	2023-03-05 15:43:02 +01:00
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	44e2c6ea92	Don't emit two type mismatches for literal pattern mismatches	2023-03-03 10:42:49 +01:00
Lukas Wirth	ec273c3d12	Split pattern inference into more functions	2023-03-03 10:42:46 +01:00
Lukas Wirth	fc2b395e00	Show pattern mismatch diagnostics	2023-03-03 10:41:44 +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
Ryo Yoshida	d01630c8f3	Apply fallback to scalar type variables before final obligation resolution	2023-01-06 06:07:08 +09:00
Ryo Yoshida	b183612610	Add INTEGER and FLOAT flags for type variables	2023-01-05 23:10:06 +09:00
Ryo Yoshida	1bfc732b78	Store diverging flag for type variables as bitflags	2023-01-05 23:10:00 +09:00
Lukas Wirth	b996a54cd8	Skip lifetime elision on fn pointers and fn trait types	2023-01-03 11:58:31 +01:00