averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
185,864 Commits 623 Branches 2,949 Tags
pack-diff
Commit Graph

3 Commits

Author SHA1 Message Date
Hamish Knight
89a3390aa1 [Sema] Move SingleValueStmtUsageChecker into pre-checking 
These diagnostics are better suited for pre-checking
since we ought to be emitting them even if there's
some other error with the expression.
 2024-08-30 18:55:48 +01:00
Hamish Knight
34fa48f279 [Sema] Improve wording of a diagnostic 
Make it clear the issue is the transfer of
control flow out of the `if`/`switch` expression.
Technically things like `break` and `continue` are
allowed, as long as they are not jumping out of
the expression.
 2024-08-14 19:59:05 +01:00
Hamish Knight
0760290387 [CS] Connect conjunctions with ReturnStmts to return type 
Augment the TypeVarRefCollector such that it
picks up any type variables present in the result
type for a closure DeclContext when visiting a
ReturnStmt. This ensures we correctly handle
if/switch expressions that contain `return`
statements.

rdar://114402042
 2023-09-05 21:25:05 +01:00