mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
bbbf4e7d43
We already don't diagnose all redundant requirements. Because inverses can be written in both inheritance and where clauses, but they're not treated uniformly in the implementation, it's a bit annoying to try and account for the redundancies in both places; `checkInheritanceClause` will go over the same "requirements" that we'll also check again in `swift::rewriting::expandDefaultRequirements`.
44 lines
1.6 KiB
Swift
44 lines
1.6 KiB
Swift
// RUN: %target-typecheck-verify-swift -enable-experimental-feature NoncopyableGenerics
|
|
|
|
// REQUIRES: asserts
|
|
|
|
protocol RegularProto {}
|
|
protocol NCProto: ~Copyable, RegularProto {
|
|
// expected-warning@-1 {{protocol 'NCProto' should be declared to refine 'Copyable' due to a same-type constraint on 'Self'}}
|
|
func checkIfCopyableSelf(_ s: Self)
|
|
}
|
|
|
|
protocol Hello: ~Copyable {
|
|
func greet(_ s: Self)
|
|
// expected-error@-1 {{parameter of noncopyable type 'Self' must specify ownership}}
|
|
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
|
|
// expected-note@-3 {{add 'inout' for a mutable reference}}
|
|
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
|
|
|
|
func salute(_ s: borrowing Self)
|
|
}
|
|
|
|
struct RegularStruct: Hello {
|
|
func greet(_ s: Self) {}
|
|
func salute(_ s: Self) {}
|
|
}
|
|
|
|
struct NCThinger<T: ~Copyable>: ~Copyable, Hello {
|
|
let fd: Int = 0
|
|
deinit {}
|
|
|
|
func greet(_ f: Self) {}
|
|
// expected-error@-1 {{parameter of noncopyable type 'NCThinger<T>' must specify ownership}}
|
|
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
|
|
// expected-note@-3 {{add 'inout' for a mutable reference}}
|
|
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
|
|
|
|
func salute(_ s: borrowing Self) {}
|
|
|
|
func setThinger(_ t: T) {}
|
|
// expected-error@-1 {{parameter of noncopyable type 'T' must specify ownership}}
|
|
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
|
|
// expected-note@-3 {{add 'inout' for a mutable reference}}
|
|
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
|
|
}
|