| // RUN: not --crash %target-swift-frontend %s -emit-ir | |
| // REQUIRES: asserts | |
| protocol P20 { } | |
| protocol P21b { | |
| associatedtype T | |
| func foo(_: (T?) -> Void) | |
| } | |
| protocol P21a { | |
| associatedtype T | |
| func bar(_: ([T]) -> Void) | |
| } | |
| extension P21b where Self: P21a, T: P20 { | |
| func foo(_: (T?) -> Void) { | |
| bar { _ in } | |
| } | |
| } |