mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
b9747b77da
When a DeclRefTypeRepr is bound to a known declaration, the exact DeclNameRef used to create it is erased. This means that we no longer know exactly which module selector was used in the source code, so repeating the lookup with the same instance might produce different results. Avoid this problem by reusing the bound decl instead of trying to look up the same declaration again. Fixes rdar://164647850.
451 lines
19 KiB
Swift
451 lines
19 KiB
Swift
// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated -sdk %clang-importer-sdk -module-name main -I %S/Inputs -enable-builtin-module
|
|
// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated -sdk %clang-importer-sdk -module-name main -I %S/Inputs -enable-builtin-module -enable-experimental-feature ParserASTGen
|
|
|
|
// REQUIRES: swift_feature_ParserASTGen
|
|
|
|
// FIXME: This test doesn't really cover:
|
|
//
|
|
// * Whether X::foo finds foos in X's re-exports
|
|
// * Whether we handle access paths correctly
|
|
// * Interaction with ClangImporter
|
|
// * Key path dynamic member lookup
|
|
// * Custom type attributes (and coverage of type attrs generally is sparse)
|
|
//
|
|
// It also might not cover all combinations of name lookup paths and inputs.
|
|
|
|
import ModuleSelectorTestingKit
|
|
|
|
import ctypes.bits
|
|
import struct ModuleSelectorTestingKit::A
|
|
|
|
import Builtin
|
|
|
|
let magnitude: Never = fatalError()
|
|
|
|
// Test correct code using `A`
|
|
|
|
extension ModuleSelectorTestingKit::A {}
|
|
|
|
extension A: @retroactive Swift::Equatable {
|
|
@_implements(Swift::Equatable, ==(_:_:))
|
|
public static func equals(_: ModuleSelectorTestingKit::A, _: ModuleSelectorTestingKit::A) -> Swift::Bool {
|
|
Swift::fatalError()
|
|
}
|
|
|
|
// FIXME: Add tests with autodiff @_differentiable(jvp:vjp:) and
|
|
// @_derivative(of:)
|
|
|
|
@_dynamicReplacement(for: ModuleSelectorTestingKit::negate())
|
|
mutating func myNegate() {
|
|
let fn: (Swift::Int, Swift::Int) -> Swift::Int = (Swift::+)
|
|
|
|
let magnitude: Int.Swift::Magnitude = main::magnitude
|
|
// expected-error@-1 {{cannot convert value of type 'Never' to specified type 'Int.Magnitude' (aka 'UInt')}}
|
|
|
|
_ = (fn, magnitude)
|
|
|
|
if Swift::Bool.Swift::random() {
|
|
self.ModuleSelectorTestingKit::negate()
|
|
}
|
|
else {
|
|
self = ModuleSelectorTestingKit::A(value: .Swift::min)
|
|
self = A.ModuleSelectorTestingKit::init(value: .min)
|
|
}
|
|
|
|
self.main::myNegate()
|
|
|
|
Swift::fatalError()
|
|
|
|
_ = \ModuleSelectorTestingKit::A.magnitude
|
|
_ = \A.ModuleSelectorTestingKit::magnitude
|
|
|
|
_ = #ModuleSelectorTestingKit::ExprMacro
|
|
}
|
|
|
|
// FIXME: Can we test @convention(witness_method:)?
|
|
}
|
|
|
|
// Test resolution of main:: using `B`
|
|
|
|
extension main::B {}
|
|
// expected-error@-1 {{'B' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{11-15=ModuleSelectorTestingKit}}
|
|
|
|
extension B: @retroactive main::Equatable {
|
|
// expected-error@-1 {{'Equatable' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{27-31=Swift}}
|
|
|
|
@_implements(main::Equatable, ==(_:_:))
|
|
// expected-error@-1 {{'Equatable' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{16-20=Swift}}
|
|
|
|
public static func equals(_: main::B, _: main::B) -> main::Bool {
|
|
// expected-error@-1 2{{'B' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{32-36=ModuleSelectorTestingKit}}
|
|
// expected-note@-3 {{did you mean module 'ModuleSelectorTestingKit'?}} {{44-48=ModuleSelectorTestingKit}}
|
|
// expected-error@-4 {{'Bool' is not imported through module 'main'}}
|
|
// expected-note@-5 {{did you mean module 'Swift'?}} {{56-60=Swift}}
|
|
main::fatalError()
|
|
// expected-error@-1 {{'fatalError' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{5-9=Swift}}
|
|
}
|
|
|
|
// FIXME: Add tests with autodiff @_differentiable(jvp:vjp:) and
|
|
// @_derivative(of:)
|
|
|
|
@_dynamicReplacement(for: main::negate())
|
|
// expected-error@-1 {{'negate()' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{29-33=ModuleSelectorTestingKit}}
|
|
|
|
mutating func myNegate() {
|
|
let fn: (main::Int, main::Int) -> main::Int =
|
|
// expected-error@-1 3{{'Int' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{14-18=Swift}}
|
|
// expected-note@-3 {{did you mean module 'Swift'?}} {{25-29=Swift}}
|
|
// expected-note@-4 {{did you mean module 'Swift'?}} {{39-43=Swift}}
|
|
(main::+)
|
|
// expected-error@-1 {{'+' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{8-12=Swift}}
|
|
|
|
let magnitude: Int.main::Magnitude = main::magnitude
|
|
// expected-error@-1 {{'Magnitude' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{24-28=Swift}}
|
|
|
|
_ = (fn, magnitude)
|
|
|
|
if main::Bool.main::random() {
|
|
// expected-error@-1 {{'Bool' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{8-12=Swift}}
|
|
|
|
main::negate()
|
|
// expected-error@-1 {{'negate' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{7-11=self.ModuleSelectorTestingKit}}
|
|
}
|
|
else {
|
|
self = main::B(value: .main::min)
|
|
// expected-error@-1 {{'B' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{14-18=ModuleSelectorTestingKit}}
|
|
// expected-error@-3 {{cannot infer contextual base in reference to member 'main::min'}}
|
|
|
|
self = B.main::init(value: .min)
|
|
// expected-error@-1 {{'init(value:)' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{16-20=ModuleSelectorTestingKit}}
|
|
}
|
|
|
|
self.main::myNegate()
|
|
|
|
main::fatalError()
|
|
// expected-error@-1 {{'fatalError' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{5-9=Swift}}
|
|
|
|
_ = \main::A.magnitude
|
|
// expected-error@-1 {{'A' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{10-14=ModuleSelectorTestingKit}}
|
|
_ = \A.main::magnitude
|
|
// expected-error@-1 {{'magnitude' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{none}}
|
|
|
|
_ = #main::ExprMacro
|
|
// expected-error@-1 {{'ExprMacro' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{10-14=ModuleSelectorTestingKit}}
|
|
}
|
|
|
|
@main::PeerMacro func thingy() {}
|
|
// expected-error@-1 {{unknown attribute 'main::PeerMacro'}}
|
|
|
|
// FIXME: Can we test @convention(witness_method:)?
|
|
}
|
|
|
|
// Test resolution of ModuleSelectorTestingKit:: using `C`
|
|
|
|
extension ModuleSelectorTestingKit::C {}
|
|
|
|
extension C: @retroactive ModuleSelectorTestingKit::Equatable {
|
|
// expected-error@-1 {{'Equatable' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{27-51=Swift}}
|
|
|
|
@_implements(ModuleSelectorTestingKit::Equatable, ==(_:_:))
|
|
// expected-error@-1 {{'Equatable' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{16-40=Swift}}
|
|
|
|
public static func equals(_: ModuleSelectorTestingKit::C, _: ModuleSelectorTestingKit::C) -> ModuleSelectorTestingKit::Bool {
|
|
// expected-error@-1 {{'Bool' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{96-120=Swift}}
|
|
|
|
ModuleSelectorTestingKit::fatalError()
|
|
// expected-error@-1 {{'fatalError' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{5-29=Swift}}
|
|
}
|
|
|
|
// FIXME: Add tests with autodiff @_differentiable(jvp:vjp:) and
|
|
// @_derivative(of:)
|
|
|
|
@_dynamicReplacement(for: ModuleSelectorTestingKit::negate())
|
|
|
|
mutating func myNegate() {
|
|
// expected-note@-1 {{'myNegate()' declared here}}
|
|
|
|
let fn: (ModuleSelectorTestingKit::Int, ModuleSelectorTestingKit::Int) -> ModuleSelectorTestingKit::Int =
|
|
// expected-error@-1 3{{'Int' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{14-38=Swift}}
|
|
// expected-note@-3 {{did you mean module 'Swift'?}} {{45-69=Swift}}
|
|
// expected-note@-4 {{did you mean module 'Swift'?}} {{79-103=Swift}}
|
|
(ModuleSelectorTestingKit::+)
|
|
// expected-error@-1 {{'+' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{8-32=Swift}}
|
|
|
|
let magnitude: Int.ModuleSelectorTestingKit::Magnitude = ModuleSelectorTestingKit::magnitude
|
|
// expected-error@-1 {{'Magnitude' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{24-48=Swift}}
|
|
// expected-error@-3 {{'magnitude' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-4 {{did you mean the local declaration?}} {{62-88=}}
|
|
|
|
_ = (fn, magnitude)
|
|
|
|
if ModuleSelectorTestingKit::Bool.ModuleSelectorTestingKit::random() {
|
|
// expected-error@-1 {{'Bool' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{8-32=Swift}}
|
|
|
|
ModuleSelectorTestingKit::negate()
|
|
// expected-error@-1 {{'negate' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean the member of 'self'?}} {{7-7=self.}}
|
|
}
|
|
else {
|
|
self = ModuleSelectorTestingKit::C(value: .ModuleSelectorTestingKit::min)
|
|
// expected-error@-1 {{'min' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{50-74=Swift}}
|
|
|
|
self = C.ModuleSelectorTestingKit::init(value: .min)
|
|
}
|
|
|
|
self.ModuleSelectorTestingKit::myNegate()
|
|
// expected-error@-1 {{'myNegate()' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'main'?}} {{10-34=main}}
|
|
|
|
ModuleSelectorTestingKit::fatalError()
|
|
// expected-error@-1 {{'fatalError' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{5-29=Swift}}
|
|
|
|
_ = \ModuleSelectorTestingKit::A.magnitude
|
|
_ = \A.ModuleSelectorTestingKit::magnitude
|
|
|
|
_ = #ModuleSelectorTestingKit::ExprMacro
|
|
}
|
|
|
|
@ModuleSelectorTestingKit::PeerMacro func thingy() {}
|
|
// expected-error@-1 {{external macro implementation type 'Fnord.PeerMacro' could not be found for macro 'PeerMacro()'; plugin for module 'Fnord' not found}}
|
|
|
|
// FIXME: Can we test @convention(witness_method:)?
|
|
}
|
|
|
|
// Test resolution of Swift:: using `D`
|
|
|
|
extension Swift::D {}
|
|
// expected-error@-1 {{'D' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{11-16=ModuleSelectorTestingKit}}
|
|
|
|
extension D: @retroactive Swift::Equatable {
|
|
// Caused by Swift::D failing to typecheck in `equals(_:_:)`: expected-error@-1 *{{extension outside of file declaring struct 'D' prevents automatic synthesis of '==' for protocol 'Equatable'}} expected-note@-1 *{{add stubs for conformance}}
|
|
|
|
@_implements(Swift::Equatable, ==(_:_:))
|
|
public static func equals(_: Swift::D, _: Swift::D) -> Swift::Bool {
|
|
// expected-error@-1 2{{'D' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{32-37=ModuleSelectorTestingKit}}
|
|
// expected-note@-3 {{did you mean module 'ModuleSelectorTestingKit'?}} {{45-50=ModuleSelectorTestingKit}}
|
|
Swift::fatalError() // no-error -- not typechecking function bodies
|
|
}
|
|
|
|
// FIXME: Add tests with autodiff @_differentiable(jvp:vjp:) and
|
|
// @_derivative(of:)
|
|
|
|
@_dynamicReplacement(for: Swift::negate())
|
|
// expected-error@-1 {{'negate()' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{29-34=ModuleSelectorTestingKit}}
|
|
|
|
mutating func myNegate() {
|
|
// expected-note@-1 {{'myNegate()' declared here}}
|
|
|
|
let fn: (Swift::Int, Swift::Int) -> Swift::Int =
|
|
(Swift::+)
|
|
|
|
let magnitude: Int.Swift::Magnitude = Swift::magnitude
|
|
// expected-error@-1 {{'magnitude' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean the local declaration?}} {{43-50=}}
|
|
|
|
_ = (fn, magnitude)
|
|
|
|
if Swift::Bool.Swift::random() {
|
|
|
|
Swift::negate()
|
|
// expected-error@-1 {{'negate' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{7-12=self.ModuleSelectorTestingKit}}
|
|
}
|
|
else {
|
|
self = Swift::D(value: .Swift::min)
|
|
// expected-error@-1 {{'D' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{14-19=ModuleSelectorTestingKit}}
|
|
// expected-error@-3 {{cannot infer contextual base in reference to member 'Swift::min'}}
|
|
|
|
self = D.Swift::init(value: .min)
|
|
// expected-error@-1 {{'init(value:)' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{16-21=ModuleSelectorTestingKit}}
|
|
}
|
|
|
|
self.Swift::myNegate()
|
|
// expected-error@-1 {{'myNegate()' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'main'?}} {{10-15=main}}
|
|
|
|
Swift::fatalError()
|
|
|
|
_ = \Swift::A.magnitude
|
|
// expected-error@-1 {{'A' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{10-15=ModuleSelectorTestingKit}}
|
|
_ = \A.Swift::magnitude
|
|
// expected-error@-1 {{'magnitude' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{none}}
|
|
|
|
_ = #Swift::ExprMacro
|
|
// expected-error@-1 {{'ExprMacro' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{10-15=ModuleSelectorTestingKit}}
|
|
}
|
|
|
|
@Swift::PeerMacro func thingy() {}
|
|
// expected-error@-1 {{unknown attribute 'Swift::PeerMacro'}}
|
|
|
|
// FIXME: Can we test @convention(witness_method:)?
|
|
}
|
|
|
|
let mog: Never = fatalError()
|
|
|
|
func localVarsCantBeAccessedByModuleSelector() {
|
|
let mag: Int.Swift::Magnitude = main::mag
|
|
// expected-error@-1 {{'mag' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean the local declaration?}} {{35-41=}}
|
|
|
|
let mog: Never = main::mog
|
|
}
|
|
|
|
struct AvailableUser {
|
|
@available(macOS 10.15, *) var use1: String { "foo" }
|
|
|
|
@main::available() var use2
|
|
// expected-error@-1 {{'available' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{4-8=ModuleSelectorTestingKit}}
|
|
// FIXME suppress: expected-error@-3 {{type annotation missing in pattern}}
|
|
|
|
@ModuleSelectorTestingKit::available() var use4
|
|
// no-error
|
|
|
|
@Swift::available() var use5
|
|
// expected-error@-1 {{'available' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{4-9=ModuleSelectorTestingKit}}
|
|
// FIXME suppress: expected-error@-3 {{type annotation missing in pattern}}
|
|
}
|
|
|
|
func builderUser2(@main::MyBuilder fn: () -> Void) {}
|
|
// expected-error@-1 {{'MyBuilder' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{20-24=ModuleSelectorTestingKit}}
|
|
|
|
func builderUser3(@ModuleSelectorTestingKit::MyBuilder fn: () -> Void) {}
|
|
// no-error
|
|
|
|
func builderUser4(@Swift::MyBuilder fn: () -> Void) {}
|
|
// expected-error@-1 {{'MyBuilder' is not imported through module 'Swift'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{20-25=ModuleSelectorTestingKit}}
|
|
|
|
// Error cases
|
|
|
|
func decl1(
|
|
p1: main::A,
|
|
// expected-error@-1 {{'A' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'ModuleSelectorTestingKit'?}} {{7-11=ModuleSelectorTestingKit}}
|
|
label p2: inout A,
|
|
label p3: @escaping () -> A
|
|
) {
|
|
switch Optional(main::p2) {
|
|
// expected-error@-1 {{'p2' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean the local declaration?}} {{19-25=}}
|
|
case Optional.some(let decl1i):
|
|
break
|
|
case .none:
|
|
break
|
|
}
|
|
|
|
switch Optional(main::p2) {
|
|
// expected-error@-1 {{'p2' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean the local declaration?}} {{19-25=}}
|
|
case let Optional.some(decl1j):
|
|
break
|
|
case .none:
|
|
break
|
|
}
|
|
|
|
switch Optional(main::p2) {
|
|
// expected-error@-1 {{'p2' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean the local declaration?}} {{19-25=}}
|
|
case let decl1k?:
|
|
break
|
|
case .none:
|
|
break
|
|
}
|
|
}
|
|
|
|
typealias decl5 = main::Bool
|
|
// expected-error@-1 {{'Bool' is not imported through module 'main'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{19-23=Swift}}
|
|
|
|
func badModuleNames() {
|
|
NonexistentModule::print()
|
|
// expected-error@-1 {{'print' is not imported through module 'NonexistentModule'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{3-20=Swift}}
|
|
|
|
_ = "foo".NonexistentModule::count
|
|
// expected-error@-1 {{'count' is not imported through module 'NonexistentModule'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{13-30=Swift}}
|
|
|
|
let x: NonexistentModule::MyType = NonexistentModule::MyType()
|
|
// expected-error@-1 {{cannot find type 'NonexistentModule::MyType' in scope}}
|
|
// expected-error@-2 {{cannot find 'NonexistentModule::MyType' in scope}}
|
|
|
|
let y: A.NonexistentModule::MyChildType = fatalError()
|
|
// expected-error@-1 {{'NonexistentModule::MyChildType' is not a member type of struct 'ModuleSelectorTestingKit.A'}}
|
|
}
|
|
|
|
func builtinModuleLookups(_ int: Builtin::Int64) -> Builtin::Int64 {
|
|
return Builtin::int_bswap_Int64(int)
|
|
}
|
|
|
|
func concurrencyModuleLookups(
|
|
_: any Swift::Clock,
|
|
_: any _Concurrency::Clock,
|
|
_: any ModuleSelectorTestingKit::Clock
|
|
// expected-error@-1 {{'Clock' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{10-34=Swift}}
|
|
) async {
|
|
await Swift::withTaskCancellationHandler {} onCancel: {}
|
|
await _Concurrency::withTaskCancellationHandler {} onCancel: {}
|
|
await ModuleSelectorTestingKit::withTaskCancellationHandler {} onCancel: {}
|
|
// expected-error@-1 {{'withTaskCancellationHandler' is not imported through module 'ModuleSelectorTestingKit'}}
|
|
// expected-note@-2 {{did you mean module 'Swift'?}} {{9-33=Swift}}
|
|
}
|
|
|
|
func dependentTypeLookup<T, U, V, W, X>(_: T, _: U, _: V, _: W, _: X) where
|
|
T: Identifiable, T: ComparableIdentifiable, T.ID == Int,
|
|
U: Identifiable, U: ComparableIdentifiable, U.Swift::ID == Int,
|
|
// expected-error@-1 {{module selector is not allowed on generic member type; associated types with the same name are merged instead of shadowing one another}} {{49-56=}}
|
|
V: Identifiable, V: ComparableIdentifiable, V.ModuleSelectorTestingKit::ID == Int,
|
|
// expected-error@-1 {{module selector is not allowed on generic member type; associated types with the same name are merged instead of shadowing one another}} {{49-75=}}
|
|
W: Identifiable, W: ComparableIdentifiable, W.ctypes::ID == Int,
|
|
// expected-error@-1 {{module selector is not allowed on generic member type; associated types with the same name are merged instead of shadowing one another}} {{49-57=}}
|
|
X: Identifiable, X: ComparableIdentifiable, X.NonexistentModule::ID == Int
|
|
// expected-error@-1 {{module selector is not allowed on generic member type; associated types with the same name are merged instead of shadowing one another}} {{49-68=}}
|
|
{}
|
|
|
|
// rdar://164647850 -- conforming to `Swift::Error` doesn't work when there's an `Error` type around
|
|
|
|
enum Error {}
|
|
enum E: Swift::Error { case err }
|
|
|
|
func testErrorConformance() -> Result<Void, E> { .success(()) }
|
|
// no-error@-1
|