1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
// RUN: %target-swift-frontend -verify -module-name Lib %t/Lib.swift -emit-module -emit-module-path %t/Lib.swiftmodule -package-name myPkg
/// Type-checking an operator (L30 below) causes look up of all of its decls regardless of which access modifier is
/// used (decl in both Client and Lib in this case) before filtering. The decl in Lib is a package decl and has
/// package-name associated with it, but the use site (in Client) does not have package-name. The package decl
/// should be filtered out and the public == decl should be picked.
// RUN: %target-swift-frontend -typecheck -verify %t/Client.swift -I %t
//--- Lib.swift
public class Decl {
package static func == (lhs: Decl, rhs: Decl) -> Bool {
return true
}
}
//--- Client.swift
import Lib
extension Decl: @retroactive Equatable {
public static func == (lhs: Decl, rhs: Decl) -> Bool {
return false
}
}
public protocol Proto {}
extension Proto {
func foo(first: Decl, second: Decl) -> Bool {
// Type-checking below causes a look up of == in both Client and Lib
return first == second
}
}
|
