mirror of
https://github.com/apple/swift.git
synced 2026-06-20 15:42:51 +02:00
Kavon Farvardin
e5b2ead0d7
The feature was added only to avoid a reverse-condfail
in the initial bring-up of noncopyable generics.
Nearly 2 years have passed since the last time I tried
to remove this old technical debt [1] and had to revert
it due to outdated build bots [2]. Hoping that won't be
a problem this time.
[1] 5b2f2cbfcf
[2] https://github.com/swiftlang/swift/pull/75267
resolves rdar://131560183
33 lines
1.1 KiB
Swift
33 lines
1.1 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t/bug.swiftinterface) -verify -I %t
|
|
|
|
//--- bug.swiftinterface
|
|
// swift-interface-format-version: 1.0
|
|
// swift-compiler-version: Apple Swift version 6.0 effective-5.10 (swiftlang-6.0.0.4.52 clang-1600.0.21.1.3)
|
|
// swift-module-flags: -enable-objc-interop -enable-library-evolution -module-name bug
|
|
// expected-error @-3 {{failed to verify module interface of 'bug'}}
|
|
import Swift
|
|
import _Concurrency
|
|
import _StringProcessing
|
|
import _SwiftConcurrencyShims
|
|
#if compiler(>=5.3) && $NoncopyableGenerics
|
|
public enum Maybe<Wrapped> : ~Swift.Copyable where Wrapped : ~Copyable { // expected-note {{}}
|
|
case just(Wrapped) // expected-error {{}}
|
|
case none
|
|
}
|
|
#else
|
|
public enum Maybe<Wrapped> {
|
|
case just(Wrapped)
|
|
case none
|
|
}
|
|
#endif
|
|
#if compiler(>=5.3) && $NoncopyableGenerics
|
|
extension bug.Maybe : Swift.Copyable { // expected-error {{conditional conformance to 'Copyable' must explicitly state whether 'Wrapped' is required to conform to 'Copyable' or not}} // expected-error {{}}
|
|
}
|
|
#else
|
|
extension bug.Maybe {
|
|
}
|
|
#endif
|
|
|