| // 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 | |
| static func c<S>(_: PE<N>) where N == PEN<S> {} | |
| } |