mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
b4b873332f
- Don't pass 'verify' since it's now the default - Update tests where diagnostics changed in a correct way to pass 'on' instead - Delete compiler_scale/explicit_requirements_perf.swift since it's not testing anything with the requirement machine
27 lines
511 B
Swift
27 lines
511 B
Swift
// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures 2>&1 | %FileCheck %s
|
|
// RUN: %target-swift-frontend -primary-file %s -emit-ir
|
|
|
|
protocol C {
|
|
associatedtype I
|
|
}
|
|
|
|
protocol PST {
|
|
associatedtype LT : C
|
|
}
|
|
|
|
protocol SL {
|
|
associatedtype S : PST
|
|
}
|
|
|
|
struct PEN<_S : PST> : SL {
|
|
typealias S = _S
|
|
let l: _S.LT.I
|
|
}
|
|
|
|
struct PE<N : SL> {
|
|
let n: N
|
|
// CHECK-LABEL: .c@
|
|
// CHECK-NEXT: Generic signature: <N, S where N == PEN<S>, S : PST>
|
|
static func c<S>(_: PE<N>) where N == PEN<S> {}
|
|
}
|