[SR-7151] Generalize CaseIterable Synthesis for Availability · swiftlang/swift#49699

(3 comments) (0 reactions) (0 assignees)Swift (69,989 stars) (10,719 forks)batch import

compilerderived conformancesfeaturegood first issueimprovement

説明


Previous ID	SR-7151
Radar	rdar://problem/43569215
Original Reporter	@CodaFi
Type	Improvement
Status	In Progress
Resolution


Votes	2
Component/s	Compiler
Labels	Improvement, StarterBug
Assignee	None
Priority	Medium

md5: 508eab090d1f0026b4428b290a2d40be

relates to:

SR-9094 Unavailable enum case with synthesized raw value causes error

Issue Description:

As of this issue, the current implementation of SE-0194 does not synthesize a conformance if any cases contain an availability attribute. This restriction may be lifted at any time by an implementation that maintains the source-order invariant.

enum Rhapsody: CaseIterable {
  @available(*, unavailable)
  case inBlue 
  case hungarian, bohemian
  @available(*, deprecated)
  case onATheme
}
Rhapsody.allCases // [hungarian, bohemian, onATheme]

コントリビューターガイド

技術スタック: swift
領域: tooling
Issue 種別: feature
難度: 4
推定時間: 3-5 days
活動状況: stale
明確さ: clear
前提条件: Swift languageCaseIterable protocolCompiler synthesisAvailability attributes
初心者向け度: 60
調査方針: Examine the current implementation of CaseIterable synthesis in the Swift compiler (likely in lib/Sema/TypeCheckProtocol.cpp). Understand how availability attributes are currently handled to prevent synthesis. Implement a change to include cases with @available attributes except those marked unavailable, while preserving source order. Test with the provided example.