[SR-13260] Swift 5.3 allow unavailable api in for in where

[swift-ci]

Previous ID	SR-13260
Radar	rdar://problem/65903005
Original Reporter	miku1958 (JIRA User)
Type	Bug
Status	Resolved
Resolution	Done

Attachment: Download

Environment

Xcode 12 beta

Additional Detail from JIRA

Votes	0
Component/s
Labels	Bug
Assignee	None
Priority	Medium

md5: 09260e3af0011e84965fb28941ce32c2

Issue Description:

code like

let animators = [UIViewPropertyAnimator]()
for animator in animators where !animator.isRunning && !animator.pausesOnCompletion { // Xcode 11, error: 'pausesOnCompletion' is only available in iOS 11.0 or newer
    animator.continueAnimation(withTimingParameters: nil, durationFactor: 1)
}

can build succuss in Xcode 12 beta even the deployment target is iOS 10, but it is an error in Xcode 11
You can test the project in Xcode 11 and 12

[hamishknight]

Yikes

[hamishknight]

@swift-ci create

[hamishknight]

Thanks for reporting this! Fixed by #33037 (and 5.3 cherry-pick #33041 please verify using the next available master snapshot and 5.3 snapshot from https://swift.org/download/#snapshots and close the issue if satisfied.