mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
bd1330715c
We can't simply emit the desugared, expanded version of the requirements because there's no way to pretty-print the type `some ~Copyable` when the `~Copyable`'s get replaced with the absence of `Copyable`. We'd be left with just `some _` or need to invent a new top type so we can write `some Top`. Thus, it's best to simply reverse the expansion of default requirements when emitting a swiftinterface file.
69 lines
2.0 KiB
Swift
69 lines
2.0 KiB
Swift
// These are purely to add test coverage of different constructs when emitting modules
|
|
|
|
public protocol _NoCopyP: ~Copyable {}
|
|
public protocol _NoEscapableP: ~Escapable {}
|
|
|
|
extension Int: _NoCopyP {}
|
|
|
|
public struct _Toys {
|
|
static func test_parallelAssignment() {
|
|
var y: Int
|
|
var x: Int
|
|
(x, y) = (10, 11)
|
|
}
|
|
|
|
public struct rdar118697289_S1<Element> {
|
|
let element: Element
|
|
func f() -> Element { element }
|
|
}
|
|
|
|
public struct rdar118697289_S2<Element> {
|
|
let element: Element
|
|
subscript(i: Int) -> Element {
|
|
element
|
|
}
|
|
}
|
|
|
|
public static func allCopyable1<T>(_ a: T, _ b: T) -> T { return a }
|
|
|
|
public static func allCopyable2<T>(_ s: T)
|
|
where T: _NoCopyP {}
|
|
|
|
public static func oneCopyable1<T, V: ~Copyable>(_ s: T, _ v: borrowing V)
|
|
where T: _NoCopyP {}
|
|
|
|
public static func oneCopyable2<T, V>(_ s: borrowing T, _ v: V)
|
|
where T: _NoCopyP, T: ~Copyable {}
|
|
|
|
public static func oneCopyable3<T, V>(_ s: borrowing T, _ v: V)
|
|
where T: _NoCopyP & ~Copyable {}
|
|
|
|
public static func basic_some(_ s: some _NoCopyP) {}
|
|
|
|
public static func basic_some_nc(_ s: borrowing some _NoCopyP & ~Copyable) {}
|
|
|
|
public static func oneEscapable<T, V>(_ s: T, _ v: V)
|
|
where T: _NoEscapableP, T: ~Escapable {}
|
|
|
|
public static func canEscapeButConforms<T: _NoEscapableP>(_ t: T) {}
|
|
|
|
public static func opaqueNonEscapable(_ s: some _NoEscapableP & ~Escapable) {}
|
|
|
|
public static func opaqueEscapable(_ s: some _NoEscapableP) {}
|
|
}
|
|
|
|
public struct ExplicitHello<T: ~Copyable>: ~Copyable {
|
|
let thing: T
|
|
}
|
|
extension ExplicitHello: Copyable where T: Copyable {}
|
|
|
|
public struct Hello<T: ~Copyable> where T: ~Escapable {}
|
|
|
|
public protocol TestAssocTypes {
|
|
associatedtype A: ~Copyable, _NoCopyP = Int
|
|
}
|
|
|
|
public typealias SomeAlias<G> = Hello<G>
|
|
|
|
public typealias AliasWithInverse<G> = Hello<G> where G: ~Copyable, G: ~Escapable
|