mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
3d74a397df
Reverts part of https://github.com/apple/swift/pull/69950 because it causes failure in existing code.
17 lines
329 B
Swift
17 lines
329 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
protocol P<A>: AnyObject {
|
|
associatedtype A: P2
|
|
var x: A.A2 { get set }
|
|
}
|
|
|
|
protocol P2 {
|
|
associatedtype A2
|
|
var x: A2 { get }
|
|
}
|
|
|
|
func test<T: P2>(x: T.A2, y: any P<T>, z: any P2) {
|
|
y.x = x // Ok
|
|
y.x = z.x // expected-error {{cannot assign value of type 'Any' to type 'T.A2'}}
|
|
}
|