| public protocol Prot {} | |
| public struct Yoda< | |
| Base : IteratorProtocol | |
| > : Prot { | |
| public func down<U>( | |
| p: Array<U> | |
| ) -> Array<U> { | |
| return p | |
| } | |
| } | |
| // RUN: %target-swift-ide-test -print-swift-file-interface -print-original-source -source-filename %s > %t.out | |
| // RUN: diff -u %s.result %t.out |