mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
And update tests to use them. This commit depends on fixes in swiftlang/swift PRs #86905, #87129, and #87130. Fixes rdar://169749886.
14 lines
492 B
Swift
14 lines
492 B
Swift
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name Test
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name Test
|
|
// RUN: %FileCheck %s < %t.swiftinterface
|
|
|
|
// CHECK: extension Swift::Int : @retroactive Swift::Identifiable {
|
|
// CHECK: public var id: Swift::Int {
|
|
// CHECK: get
|
|
// CHECK: }
|
|
// CHECK: public typealias ID = Swift::Int
|
|
// CHECK: }
|
|
extension Int: @retroactive Identifiable {
|
|
public var id: Int { self }
|
|
}
|