mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
29 lines
1.1 KiB
Swift
29 lines
1.1 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name ValueGeneric -enable-experimental-feature ValueGenerics -disable-availability-checking
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name ValueGeneric -disable-availability-checking
|
|
// RUN: %FileCheck %s < %t.swiftinterface
|
|
|
|
// REQUIRES: swift_feature_ValueGenerics
|
|
|
|
// CHECK: public struct Slab<Element, let N : Swift.Int>
|
|
public struct Slab<Element, let N: Int> {
|
|
// CHECK-LABEL: public var count: Swift.Int {
|
|
// CHECK-NEXT: get {
|
|
// CHECK-NEXT: N
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: }
|
|
@inlinable
|
|
public var count: Int {
|
|
N
|
|
}
|
|
}
|
|
|
|
// CHECK: public func usesGenericSlab<let N : Swift.Int>(_: ValueGeneric.Slab<Swift.Int, N>)
|
|
public func usesGenericSlab<let N: Int>(_: Slab<Int, N>) {}
|
|
|
|
// CHECK: public func usesConcreteSlab(_: ValueGeneric.Slab<Swift.Int, 2>)
|
|
public func usesConcreteSlab(_: Slab<Int, 2>) {}
|
|
|
|
// CHECK: public func usesNegativeSlab(_: ValueGeneric.Slab<Swift.String, -10>)
|
|
public func usesNegativeSlab(_: Slab<String, -10>) {}
|