| // RUN: %swift-ide-test -print-swift-file-interface -source-filename %s | |
| public class Base {} | |
| // CHECK: public class Base { | |
| public protocol Proto {} | |
| // CHECK: public protocol Proto { | |
| } | |
| public func foo() -> some Base & Proto { | |
| // CHECK: public func foo() -> some Base & Proto | |
| class Derived: Base, Proto {} | |
| return Derived() | |
| } |