612 commits

Author	SHA1	Message	Date
Chayim Refael Friedman	cd31e11f94	Merge pull request #20664 from ChayimFriedman2/coerce-ns ... fix: Port a bunch of stuff from rustc and fix a bunch of type mismatches/diagnostics	2025-09-18 00:19:30 +00:00
Lukas Wirth	aecb756876	Merge pull request #20517 from Veykril/veykril/push-wrurmtqppzus ... fix: Only compute unstable paths on nightly toolchains for IDE features	2025-09-16 07:28:47 +00:00
Lukas Wirth	685f156fa6	fix: Only compute unstable paths on nightly toolchains for IDE features	2025-09-16 09:17:16 +02:00
Chayim Refael Friedman	7d1860807e	Port a bunch of stuff from rustc and fix a bunch of type mismatches/diagnostics ... This started from porting coercion, but ended with porting much more.	2025-09-15 18:56:17 +03:00
Shoyu Vanilla (Flint)	db0420c278	Merge pull request #20642 from ChayimFriedman2/wasm-safe ... fix: Make `#[target_feature]` always safe on WASM	2025-09-11 05:09:26 +00:00
David Barsky	07b68bd9c1	Merge pull request #20613 from A4-Tacks/diag-unresolved-field-fixes-ws ... Fix indent for unresolved_field fixes	2025-09-09 18:49:52 +00:00
Shoyu Vanilla	4a8bc8db38	Fix failing tests and fill-in missing details	2025-09-10 01:43:22 +09:00
Chayim Refael Friedman	fcab4fbabb	Make #[target_feature] safe always on WASM ... Even when the feature isn't enabled, as it's not UB to invoke an undefined feature in WASM (just a trap).	2025-09-09 13:49:11 +03:00
Wilfred Hughes	bca5d59627	Remove support for register_attr ... This was removed in rustc in 2022: https://github.com/rust-lang/rust/pull/101123 Closes #20525.	2025-09-08 15:56:56 +01:00
A4-Tacks	7e2dc40642	Improve make::struct_ field_list whitespace ... Example --- **Before this PR**: ```rust struct Variant{ field: u32 } ``` **After this PR**: ```rust struct Variant { field: u32 } ```	2025-09-07 22:19:52 +08:00
A4-Tacks	db027e057d	Fix indent for unresolved_field fixes ... Examples --- ```rust mod indent { struct Foo {} fn foo() { let foo = Foo{}; foo.bar$0; } } ``` **Before this PR**: ```rust mod indent { struct Foo { bar: () } fn foo() { let foo = Foo{}; foo.bar; } } ``` **After this PR**: ```rust mod indent { struct Foo { bar: () } fn foo() { let foo = Foo{}; foo.bar; } } ``` --- New field list add newline ```rust mod indent { struct Foo; fn foo() { Foo.bar$0; } } ``` **Before this PR**: ```rust mod indent { struct Foo{ bar: () } fn foo() { Foo.bar; } } ``` **After this PR**: ```rust mod indent { struct Foo { bar: (), } fn foo() { Foo.bar; } } ```	2025-09-05 15:57:51 +08:00
Lukas Wirth	aed0fec1a9	Auto-attach database in Analysis calls	2025-08-18 09:52:23 +02:00
jackh726	9418a3f2df	Implement next trait solver	2025-08-09 16:08:58 +00:00
Chayim Refael Friedman	74ecb1e788	When renaming a parameter to self, change callers to use method call syntax	2025-08-02 21:39:22 +03:00
Lukas Wirth	8ce30264c8	cargo clippy --fix	2025-07-31 10:55:10 +02:00
Shoyu Vanilla	e587367b4d	fix: Apply adjusts to pats and exprs when doing pat analysis	2025-07-22 01:18:48 +09:00
Chayim Refael Friedman	f19c89da36	Infer lifetimes for GATs in expression/pattern position ... We should not only in type position.	2025-07-15 01:15:33 +03:00
Chayim Refael Friedman	bd8087e86e	Differentiate between asm!(), global_asm!() and naked_asm!(), and make only asm!() unsafe	2025-07-09 17:37:27 +03:00
Shoyu Vanilla	f3eb22edd0	fix: Closure capturing for let exprs, again	2025-07-03 22:51:16 +09:00
Lukas Wirth	2480a42ff4	fix: Improve diagnostic ranges for macro_calls! ... We used to point to the entire macro call including its token tree if we couldn't upmap the diagnostic to the input This generally makes things very noisy as the entire macro call will turn red on errors. Instead, we now macro the path and `!` (bang) token as the error source range which is a lot nicer on the eyes.	2025-07-03 14:12:27 +02:00
Lukas Wirth	b50d527931	Merge pull request #20036 from Veykril/push-yquvoyrxkksx ... Do not default to 'static for trait object lifetimes	2025-06-24 06:59:54 +00:00
Lukas Wirth	2b05bd7d7e	Do not default to 'static for trait object lifetimes ... We lack trait object default lifetime elision, so `'static` can be wrong at times, confusing the user	2025-06-24 08:49:24 +02:00
Chayim Refael Friedman	de312d0c71	Don't run doctests	2025-06-23 00:50:22 +03:00
Shoyu Vanilla	4f8767d790	Minic rustc's new format_args! expansion	2025-06-22 13:22:28 +09:00
Shoyu Vanilla	5f401e3ce6	fix: Closure capturing for let exprs	2025-06-19 01:30:10 +09:00
Chayim Refael Friedman	b46593ece2	Never make type mismatch diagnostic stable, even when there is a fix ... We show fixes now even for experimental diagnostics anyway, and it has false positives.	2025-06-17 12:48:19 +03:00
Lukas Wirth	03f1003637	chore: Start infesting ide crates with 'db lifetime	2025-06-17 10:42:38 +02:00
Lukas Wirth	eb25f5e85b	Merge pull request #19945 from ChayimFriedman2/private-field-quickfix ... feat: Add the quickfix for increasing visibility of a private field to the private-field diagnostic (previously it was only on no-such-field)	2025-06-17 08:19:09 +00:00
Lukas Wirth	f15267aaf4	Merge pull request #19963 from ChayimFriedman2/unsized-impl-items ... fix: Do not error at impls for unsized types that do not include `where Self: Sized` items	2025-06-10 11:37:30 +00:00
Chayim Refael Friedman	6f4a6d4349	Do not error at impls for unsized types that do not include where Self: Sized items	2025-06-10 14:04:21 +03:00
Chayim Refael Friedman	14cb64c9d9	Stabilize the "JSON is not Rust" diagnostic	2025-06-09 00:35:40 +03:00
Chayim Refael Friedman	ba6f6e2e34	Add the quickfix for increasing visibility of a private field to the private-field diagnostic (previously it was only on no-such-field) ... The difference between the diagnostics is that no-such-field is for record struct construction, while private-field is for dot syntax. I tried to unify them, but there is a bit of uniqueness in each. This is possible but maybe not worth it. Also, fix the quickfix when there is already a visibility to the field (replace it instead of appending to it).	2025-06-08 15:17:34 +03:00
Chayim Refael Friedman	41f5de12bd	Stabilize unlinked file diagnostic	2025-06-06 03:55:57 +03:00
Tyler Breisacher	4055436776	Add a quickfix for accessing a private field of a struct	2025-06-02 22:45:34 -07:00
Lukas Wirth	42e8e4ac4e	Enhance renaming to include identifiers that are generated from the original symbol ... Co-authored-by: Jake Goulding <jake.goulding@integer32.com>	2025-06-02 15:26:21 +02:00
Lukas Wirth	1f0052a496	fix: Fix import insertion not being fully cfg aware	2025-05-29 14:55:09 +02:00
Shoyu Vanilla	8682c1b9b4	fix: Skip pattern analysis on type mismatches	2025-05-28 08:11:14 +09:00
Lukas Wirth	d146d3bc90	Merge pull request #19851 from ChayimFriedman2/normalize-exhaustiveness ... fix: Normalize when checking for uninhabited types for pattern exhaustiveness checking	2025-05-26 07:19:12 +00:00
Chayim Refael Friedman	f17bbfc48b	Normalize when checking for uninhabited types for pattern exhaustiveness checking	2025-05-23 01:01:21 +03:00
Chayim Refael Friedman	2d32f025e7	Fix cache problems with lints level ... By removing the cache.	2025-05-19 15:36:01 +03:00
Chayim Refael Friedman	5ed11234cc	Improve asm support ... Including: - Infer `label {}` and `const` operands. - Correctly handle unsafe check inside `label {}`. - Fix an embarrassing parser typo that cause labels to never be part of the AST	2025-05-15 23:36:00 +03:00
Florian Diebold	40b7f4af27	Make diagnostics experimental by default	2025-05-09 16:15:48 +02:00
Lukas Wirth	581646236e	refactor: De-arc defmap queries	2025-05-05 09:04:52 +02:00
Lukas Wirth	235d88bf42	Render more lifetimes	2025-05-02 14:36:18 +02:00
Matthias Krüger	573c47c9ba	remove a couple of clones	2025-05-01 11:41:42 +02:00
Lukas Wirth	1ad31eff67	Merge pull request #19247 from alibektas/19172_very_new ... fix: Correct span info for mir::Operand	2025-04-30 10:13:02 +00:00
Prajwal S N	2eb7389b63	refactor: migrate let_else_to_match to editor ... Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>	2025-04-28 17:19:17 +05:30
Lukas Wirth	0fee71065b	Merge pull request #19704 from Veykril/push-wrvznvvpvtvp ... Add expression fill mode variant for filling with underscore expressions	2025-04-28 09:45:04 +00:00
Lukas Wirth	7e526b6be7	Add expression fill mode variant for filling with underscore expressions	2025-04-28 10:39:36 +02:00
Lukas Wirth	dce59ad8fb	fix: Fix type argument mismatch incorrectly triggering on inferred trait args	2025-04-24 09:16:01 +02:00