mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
25 lines
296 B
Swift
25 lines
296 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
@_marker protocol Q {}
|
|
struct G<T: Q> {}
|
|
|
|
typealias A1 = G<any Q>
|
|
|
|
//
|
|
|
|
class C: Q {}
|
|
typealias A2 = G<C>
|
|
|
|
//
|
|
|
|
protocol Q2: Q {}
|
|
typealias A3 = G<any Q2>
|
|
|
|
//
|
|
|
|
protocol P1: C {}
|
|
protocol P2 where Self: C {}
|
|
|
|
typealias A4 = G<any P1>
|
|
typealias A5 = G<any P2>
|