mirror of
https://github.com/apple/swift.git
synced 2026-10-20 19:13:47 +02:00
Henrik G. Olsson
3a2ec2b51b
Normally macro expansions are typechecked through the normal traversal of the AST. This does not happen with macro expansions in clang modules however, since the clang module is not traversed by the typechecker. This is not too problematic, since all the code in clang modules is generated by the toolchain, so incorrect code would only occur when there's a bug in the toolchain. Catching these bugs would be a lot easier if we actually ran the typechecker during testing. We don't want to do this normally, as it breaks the laziness of the typechecking, so this adds -eager-macro-checking to specifically enable this behavior. It's intended for testing purposes only.
306 lines
18 KiB
Swift
306 lines
18 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-ide-test -plugin-path %swift-plugin-dir -I %S/Inputs -print-module -module-to-print=StdSpan -source-filename=x -enable-experimental-cxx-interop -Xcc -std=c++20 -module-cache-path %t > %t/interface.swift
|
|
// RUN: %FileCheck %s --match-full-lines --implicit-check-not "@_alwaysEmitIntoClient" < %t/interface.swift
|
|
|
|
// Test legacy wrappers
|
|
// RUN: %target-swift-ide-test -plugin-path %swift-plugin-dir -I %S/Inputs -print-module -module-to-print=StdSpan -source-filename=x -enable-experimental-cxx-interop -enable-experimental-feature SafeInteropWrappers -Xcc -std=c++20 -module-cache-path %t > %t/interface-lifetimebound.swift
|
|
// RUN: %FileCheck %s --match-full-lines --implicit-check-not "@_alwaysEmitIntoClient" --check-prefixes=CHECK,CHECK-LEGACY < %t/interface-lifetimebound.swift
|
|
|
|
// Make sure we trigger typechecking and SIL diagnostics
|
|
// RUN: %target-swift-frontend -emit-module -plugin-path %swift-plugin-dir -I %S/Inputs -enable-experimental-feature Lifetimes -cxx-interoperability-mode=default -strict-memory-safety -verify -Xcc -std=c++20 %s -verify-additional-prefix default- -suppress-notes -eager-macro-checking
|
|
|
|
// RUN: %target-swift-frontend -emit-module -plugin-path %swift-plugin-dir -I %S/Inputs -enable-experimental-feature SafeInteropWrappers -enable-experimental-feature Lifetimes -cxx-interoperability-mode=default -strict-memory-safety -verify -Xcc -std=c++20 %s -eager-macro-checking
|
|
|
|
// REQUIRES: swift_feature_SafeInteropWrappers
|
|
// REQUIRES: swift_feature_Lifetimes
|
|
// REQUIRES: std_span
|
|
|
|
import StdSpan
|
|
import CxxStdlib
|
|
|
|
// CHECK: struct DependsOnSelf {
|
|
// CHECK: @safe borrowing func get() -> ConstSpanOfInt
|
|
// CHECK-LEGACY: @_lifetime(borrow self)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public borrowing func get() -> Span<CInt>
|
|
// CHECK: }
|
|
|
|
// CHECK: struct CaptureByReference {
|
|
// CHECK: mutating func set(_ x: borrowing std.{{.*}}vector<CInt, std.{{.*}}allocator<CInt>>)
|
|
// CHECK: }
|
|
|
|
// CHECK: func funcWithSafeWrapper(_ s: ConstSpanOfInt)
|
|
// CHECK-NEXT: func funcWithSafeWrapper2(_ s: ConstSpanOfInt) -> ConstSpanOfInt
|
|
// CHECK-NEXT: func funcWithSafeWrapper3(_ v: borrowing VecOfInt) -> ConstSpanOfInt
|
|
// CHECK: struct X {
|
|
// CHECK-NEXT: init()
|
|
// CHECK-NEXT: mutating func methodWithSafeWrapper(_ s: ConstSpanOfInt)
|
|
// CHECK-NEXT: mutating func getMutable(_ s: ConstSpanOfInt) -> SpanOfInt
|
|
// CHECK-DAG: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-DAG: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-DAG: @_alwaysEmitIntoClient @_disfavoredOverload public mutating func methodWithSafeWrapper(_ s: Span<CInt>)
|
|
// CHECK-LEGCAY-DAG: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-DAG: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-DAG: @_lifetime(&self)
|
|
// CHECK-LEGACY-DAG: @_alwaysEmitIntoClient @_disfavoredOverload public mutating func getMutable(_ s: Span<CInt>) -> MutableSpan<CInt>
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: mutating func methodWithMutableSafeWrapper(_ s: SpanOfInt)
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public mutating func methodWithMutableSafeWrapper(_ s: inout MutableSpan<CInt>)
|
|
|
|
// CHECK: struct SpanWithoutTypeAlias {
|
|
// CHECK-NEXT: init()
|
|
// CHECK-NEXT: mutating func bar() -> std.{{.*}}span<__cxxConst<CInt>, _C{{.*}}_{{.*}}>
|
|
// CHECK-NEXT: mutating func foo(_ s: std.{{.*}}span<__cxxConst<CInt>, _C{{.*}}_{{.*}}>)
|
|
// CHECK-NEXT: mutating func nestedTemplateInstantiationReturn() -> std.{{.*}}span<S<CInt>, _C{{.*}}_{{.*}}>
|
|
// CHECK-NEXT: mutating func nestedTemplateInstantiationParam(_ s: std.{{.*}}span<S<CInt>, _C{{.*}}_{{.*}}>)
|
|
// CHECK-NEXT: mutating func nestedTemplateInstantiationReturnCounted(_ len: Int32) -> UnsafeMutablePointer<S<CInt>>!
|
|
// CHECK-NEXT: mutating func nestedTemplateInstantiationParamCounted(_ p: UnsafeMutablePointer<S<CInt>>!, _ len: Int32)
|
|
// CHECK-NEXT: mutating func otherTemplatedType(_ copy: ConstSpanOfInt, _: S<CInt>)
|
|
// CHECK-NEXT: mutating func otherTemplatedType2(_ copy: ConstSpanOfInt, _: UnsafeMutablePointer<S<CInt>>!)
|
|
// CHECK-LEGACY-DAG: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-DAG: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-DAG: @_lifetime(&self)
|
|
// CHECK-LEGACY-DAG: @_alwaysEmitIntoClient @_disfavoredOverload public mutating func bar() -> Span<CInt>
|
|
// CHECK-DAG: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-DAG: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-DAG: @_alwaysEmitIntoClient @_disfavoredOverload public mutating func foo(_ s: Span<CInt>)
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: class DependsOnSelfFRT {
|
|
// CHECK-NEXT: init()
|
|
// CHECK-NEXT: var v: std.{{.*}}vector<CInt, std.{{.*}}allocator<CInt>>
|
|
// CHECK-NEXT: borrowing func get() -> ConstSpanOfInt
|
|
// CHECK-NEXT: borrowing func {{(__)?}}getMutable{{(Unsafe)?}}() -> SpanOfInt
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func FuncWithMutableSafeWrapper(_ s: inout MutableSpan<CInt>)
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(copy s)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func FuncWithMutableSafeWrapper2(_ s: inout MutableSpan<CInt>) -> MutableSpan<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(&v)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func FuncWithMutableSafeWrapper3(_ v: inout VecOfInt) -> MutableSpan<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(copy p)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(p: copy p)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper1(_ p: inout MutableSpan<Int32>) -> MutableSpan<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(&v)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper2(_ v: inout VecOfInt, _ len: Int32) -> MutableSpan<Int32>
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper3(_ s: inout MutableSpan<CInt>, _ p: UnsafeMutableBufferPointer<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-NEXT: @_lifetime(p: copy p)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper4(_ s: inout MutableSpan<CInt>, _ p: inout MutableSpan<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(p: copy p)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper5(_ s: SpanOfInt, _ p: inout MutableSpan<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper6(_ s: SpanOfInt, _ p: UnsafeMutableBufferPointer<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func MixedFuncWithMutableSafeWrapper7(_ p: UnsafeMutableBufferPointer<Int32>) -> SpanOfInt
|
|
|
|
// CHECK: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func `func`(_ copy: Span<CInt>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcWithSafeWrapper(_ s: Span<CInt>)
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(copy s)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcWithSafeWrapper2(_ s: Span<CInt>) -> Span<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(borrow v)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcWithSafeWrapper3(_ v: borrowing VecOfInt) -> Span<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(copy p)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper1(_ p: Span<Int32>) -> Span<CInt>
|
|
|
|
// CHECK-LEGACY-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-LEGACY-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-LEGACY-NEXT: @_lifetime(borrow v)
|
|
// CHECK-LEGACY-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper2(_ v: borrowing VecOfInt, _ len: Int32) -> Span<Int32>
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper3(_ s: Span<CInt>, _ p: UnsafeMutableBufferPointer<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper4(_ s: Span<CInt>, _ p: Span<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper5(_ s: ConstSpanOfInt, _ p: Span<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper6(_ s: ConstSpanOfInt, _ p: UnsafeMutableBufferPointer<Int32>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper7(_ p: UnsafeBufferPointer<Int32>) -> ConstSpanOfInt
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(copy: copy copy)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mutableKeyword(_ copy: inout MutableSpan<CInt>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_lifetime(s: copy s)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mutableSpanWithoutTypeAlias(_ s: inout MutableSpan<CInt>)
|
|
|
|
// CHECK-NEXT: /// This is an auto-generated wrapper for safer interop
|
|
// CHECK-NEXT: @available(visionOS 1.0, tvOS 12.2, watchOS 5.2, iOS 12.2, macOS 10.14.4, *)
|
|
// CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func spanWithoutTypeAlias(_ s: Span<CInt>)
|
|
|
|
func callMethodWithSafeWrapper(_ x: inout X, s: Span<CInt>) {
|
|
x.methodWithSafeWrapper(s)
|
|
let _ = x.getMutable(s) // expected-default-error {{cannot convert value of type 'Span<CInt>' (aka 'Span<Int32>') to expected argument type 'ConstSpanOfInt'}}
|
|
}
|
|
|
|
func callFooBar(_ x: inout SpanWithoutTypeAlias, _ s: ConstSpanOfInt) {
|
|
let _: Span<CInt> = x.bar() // expected-default-error{{cannot convert value of type}}
|
|
unsafe x.foo(s)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callFuncWithMutableSafeWrapper(_ span: inout MutableSpan<CInt>, ) {
|
|
FuncWithMutableSafeWrapper(&span)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callFuncWithMutableSafeWrapper2(_ span: inout MutableSpan<CInt>, ) {
|
|
// expected-default-error@+2{{cannot convert value of type 'MutableSpan<CInt>' (aka 'MutableSpan<Int32>') to expected argument type 'SpanOfInt'}}
|
|
// expected-default-error@+1{{cannot convert value of type 'SpanOfInt'}}
|
|
let _: MutableSpan<CInt> = FuncWithMutableSafeWrapper2(&span)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callMixedFuncWithMutableSafeWrapper1(_ span: inout MutableSpan<CInt>, ) {
|
|
// expected-default-error@+3{{missing argument for parameter #2 in call}}
|
|
// expected-default-error@+2{{cannot convert value of type 'UnsafeMutablePointer<MutableSpan<CInt>>' (aka 'UnsafeMutablePointer<MutableSpan<Int32>>') to expected argument type 'UnsafeMutablePointer<Int32>'}}
|
|
// expected-default-error@+1{{cannot convert value of type 'SpanOfInt'}}
|
|
let _: MutableSpan<CInt> = MixedFuncWithMutableSafeWrapper1(&span)
|
|
}
|
|
|
|
func MixedFuncWithMutableSafeWrapper2(_ v: VecOfInt) {
|
|
var v2 = v
|
|
// expected-default-error@+1{{cannot convert value of type 'UnsafeMutablePointer<Int32>?' to specified type 'MutableSpan<Int32>'}}
|
|
let _ : MutableSpan<Int32> = MixedFuncWithMutableSafeWrapper2(&v2, 37)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callMixedFuncWithMutableSafeWrapper3(_ span: inout MutableSpan<CInt>, _ p: UnsafeMutableBufferPointer<CInt>) {
|
|
unsafe MixedFuncWithMutableSafeWrapper3(&span, p)
|
|
}
|
|
|
|
@_lifetime(span1: copy span2)
|
|
@_lifetime(span2: copy span2)
|
|
func callMixedFuncWithMutableSafeWrapper4(_ span1: inout MutableSpan<CInt>, _ span2: inout MutableSpan<CInt>) {
|
|
MixedFuncWithMutableSafeWrapper4(&span1, &span2)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callMixedFuncWithMutableSafeWrapper5(_ span: inout MutableSpan<CInt>, _ s: SpanOfInt) {
|
|
unsafe MixedFuncWithMutableSafeWrapper5(s, &span)
|
|
}
|
|
|
|
func callMixedFuncWithMutableSafeWrapper6(_ s: SpanOfInt, _ p: UnsafeMutableBufferPointer<CInt>) {
|
|
unsafe MixedFuncWithMutableSafeWrapper6(s, p)
|
|
}
|
|
|
|
func callMixedFuncWithMutableSafeWrapper7(_ p: UnsafeMutableBufferPointer<CInt>) {
|
|
let _ = unsafe MixedFuncWithMutableSafeWrapper7(p)
|
|
}
|
|
|
|
func callFuncWithSafeWrapper(_ s: Span<CInt>) {
|
|
funcWithSafeWrapper(s)
|
|
}
|
|
|
|
func callFuncWithSafeWrapper2(_ s: Span<CInt>) {
|
|
// expected-default-error@+1{{cannot convert value of type 'Span<CInt>' (aka 'Span<Int32>') to expected argument type 'ConstSpanOfInt'}}
|
|
let _ = funcWithSafeWrapper2(s)
|
|
}
|
|
|
|
func callFuncWithSafeWrapper3(_ v: borrowing VecOfInt) {
|
|
// expected-default-error@+1{{cannot convert value of type 'ConstSpanOfInt'}}
|
|
let _: Span<CInt> = funcWithSafeWrapper3(v)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper1(_ s: Span<CInt>) {
|
|
// expected-default-error@+3{{missing argument for parameter #2 in call}}
|
|
// expected-default-error@+2{{cannot convert value of type 'Span<CInt>' (aka 'Span<Int32>') to expected argument type 'UnsafePointer<Int32>'}}
|
|
// expected-default-error@+1{{cannot convert value of type 'ConstSpanOfInt'}}
|
|
let _: Span<CInt> = mixedFuncWithSafeWrapper1(s)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper2(_ v: borrowing VecOfInt) {
|
|
// expected-default-error@+1{{cannot convert value of type 'UnsafePointer<Int32>?' to specified type 'Span<CInt>' (aka 'Span<Int32>')}}
|
|
let _: Span<CInt> = mixedFuncWithSafeWrapper2(v, 73)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper3(_ s: Span<CInt>, _ p: UnsafeMutableBufferPointer<CInt>) {
|
|
unsafe mixedFuncWithSafeWrapper3(s, p)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper4(_ s: Span<CInt>, _ s2: Span<CInt>) {
|
|
mixedFuncWithSafeWrapper4(s, s2)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper5(_ s: ConstSpanOfInt, _ s2: Span<CInt>) {
|
|
unsafe mixedFuncWithSafeWrapper5(s, s2)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper6(_ s: ConstSpanOfInt, _ p: UnsafeMutableBufferPointer<CInt>) {
|
|
unsafe mixedFuncWithSafeWrapper6(s, p)
|
|
}
|
|
|
|
func callMixedFuncWithSafeWrapper7(_ p: UnsafeBufferPointer<CInt>) {
|
|
let _: ConstSpanOfInt = unsafe mixedFuncWithSafeWrapper7(p)
|
|
}
|
|
|
|
@_lifetime(span: copy span)
|
|
func callMutableKeyword(_ span: inout MutableSpan<CInt>) {
|
|
mutableKeyword(&span)
|
|
}
|
|
|
|
func callSpanWithoutTypeAlias(_ span: Span<CInt>) {
|
|
spanWithoutTypeAlias(span)
|
|
}
|
|
|
|
func callMutableSpanWithoutTypeAlias(_ span: consuming MutableSpan<CInt>) {
|
|
mutableSpanWithoutTypeAlias(&span)
|
|
}
|