// 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() | |
} |