escape-Type-and-Protocol.swift

// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name main
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name main
// RUN: %FileCheck %s < %t.swiftinterface

// CHECK: public let Type: Swift.Int
publicletType=0

// CHECK: public struct A {
publicstructA{
 // CHECK-NEXT: public struct `Type` {
 // CHECK-NEXT: }
publicstruct`Type`{}
// CHECK-NEXT: }
}

// CHECK: public class B {
publicclassB{
 // CHECK-NEXT: public class `Type` {
 // CHECK: }
publicclass`Type`{}

 // CHECK-NEXT: public var `Type`: Swift.Int
publicvar`Type`=0
// CHECK: }
}

// CHECK: public struct C {
publicstructC{
 // CHECK: public enum `Type` {
publicenum`Type`{
 // CHECK: }
}
// CHECK-NEXT: }
}

// CHECK: public struct D {
publicstructD{
 // CHECK: public typealias `Type` = Swift.Int
publictypealias`Type`=Int
// CHECK-NEXT: }
}

// CHECK: public protocol BestProtocol {
publicprotocolBestProtocol{
 // CHECK-NEXT: associatedtype `Type`
associatedtype`Type`
// CHECK-NEXT: }
}

// CHECK: public enum CoolEnum {
publicenumCoolEnum{
 // CHECK-NEXT: case `Type`
case `Type`
 // CHECK-NEXT: case `Protocol`
case `Protocol`
 // CHECK-NEXT: case `init`
case `init`
 // CHECK-NEXT: case `self`
case `self`

 // We allow Type and Protocol as method names, but we should still print them
 // escaped in case we tighten this restriction.
 // CHECK-NEXT: public func `Type`()
publicfunc Type(){}
 // CHECK-NEXT: public func `Protocol`()
publicfunc Protocol(){}
// CHECK: }
}

// CHECK: public enum UncoolEnum {
publicenumUncoolEnum{
 // CHECK-NEXT: case `Type`, `Protocol`
case `Type`, `Protocol`
// CHECK: }
}