swiftlang/swift

Redundant effect warnings should have fixits

Open

#85.882 aperta il 6 dic 2025

Vedi su GitHub
 (7 commenti) (0 reazioni) (1 assegnatario)Swift (10.719 fork)batch import
compilerdiagnostics qualityerror handlingfix-itsgood first issueswift 6.3type checker

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 7g 6h) (556 PR mergiate in 30 g)

Descrizione

Description

this is a follow up task to https://github.com/swiftlang/swift/issues/85818 – in working on that issue, it appeared that the other 'redundant effect' warnings also generally lack fixits that will remove the unneeded effect markers. specifically, we should support fixits for redundant try and unsafe on expressions that do not produce those effects. the 'single value expression' diagnostic variants should also be handled in these cases.

Reproduction

no fixits are produced for these:

@discardableResult
func g() -> Int? { nil }

_ = try g()
_ = try switch g() { default: 0 }
_ = unsafe switch g() { default: 0 }
12 | func g() -> Int? { nil }
13 | 
14 | _ = try g()
   |     `- warning: no calls to throwing functions occur within 'try' expression [no_throw_in_try]
15 | _ = try switch g() { default: 0 }
16 | _ = unsafe switch g() { default: 0 }

13 | 
14 | _ = try g()
15 | _ = try switch g() { default: 0 }
   |     `- warning: 'try' has no effect on 'switch' expression [effect_marker_on_single_value_stmt]
16 | _ = unsafe switch g() { default: 0 }
17 | 

14 | _ = try g()
15 | _ = try switch g() { default: 0 }
16 | _ = unsafe switch g() { default: 0 }
   |     `- warning: 'unsafe' has no effect on 'switch' expression [effect_marker_on_single_value_stmt]
17 | 

Expected behavior

the redundant effect markers should have fixits offering to remove them

Environment

Swift version 6.3-dev (LLVM 35f48306184cd25, Swift a69dbb3366e64d8) Target: x86_64-unknown-linux-gnu

Additional information

No response

Guida contributor