averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Sema: Fix handling of inverse requirements in checkProtocolRefinementRequirements()

Browse Source
This commit is contained in:
Slava Pestov
2024-02-21 17:43:47 -05:00
parent bd06653ee9
commit 512a15939d
4 changed files with 37 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
test/Generics/inverse_protocols_errors.swift
View File

@@ -3,8 +3,8 @@
protocol RegularProto {}
protocol NCProto: RegularProto
where Self: ~Copyable { // expected-error{{'Self' required to be 'Copyable' but is marked with '~Copyable'}}
protocol NCProto: RegularProto // expected-error{{'Self' required to be 'Copyable' but is marked with '~Copyable'}}
where Self: ~Copyable {
func checkIfCopyableSelf(_ s: Self)
}