mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
15 lines
321 B
Swift
15 lines
321 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
func f<each T: P>(_: repeat each T) {}
|
|
|
|
protocol P {}
|
|
|
|
struct S {}
|
|
|
|
@available(*, unavailable)
|
|
extension S: P {}
|
|
// expected-note@-1 {{conformance of 'S' to 'P' has been explicitly marked unavailable here}}
|
|
|
|
f(S())
|
|
// expected-error@-1 {{conformance of 'S' to 'P' is unavailable}}
|