swiftlang/swift

Redundant effect warnings should have fixits

Open

#85 882 ouverte le 6 déc. 2025

Voir sur GitHub
 (7 commentaires) (0 réactions) (1 assigné)Swift (10 719 forks)batch import
compilerdiagnostics qualityerror handlingfix-itsgood first issueswift 6.3type checker

Métriques du dépôt

Stars
 (69 989 stars)
Métriques de merge PR
 (Merge moyen 7j 6h) (556 PRs mergées en 30 j)

Description

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

Guide contributeur