mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
491b3a0fbc
This generalization enables curried functions with generic parameters coming from the initial declaration to be printed with the archetype's upperbound rather than '_' unresolved type. As an added benefit, T.self and T.Type for generic parameters now get shown as the upperbound of the generic parameter provided
45 lines
2.2 KiB
Swift
45 lines
2.2 KiB
Swift
// RUN: sed -n -e '1,/NO_ERRORS_UP_TO_HERE$/ p' %s > %t_no_errors.swift
|
|
// RUN: %target-swift-frontend -typecheck -verify -disable-objc-attr-requires-foundation-module -enable-objc-interop %t_no_errors.swift
|
|
|
|
// RUN: %target-swift-ide-test -enable-objc-interop -code-completion -source-filename %s -code-completion-token=OPTIONAL_MEMBERS_1 | %FileCheck %s -check-prefix=OPTIONAL_MEMBERS_1
|
|
// RUN: %target-swift-ide-test -enable-objc-interop -code-completion -source-filename %s -code-completion-token=OPTIONAL_MEMBERS_2 | %FileCheck %s -check-prefix=OPTIONAL_MEMBERS_2
|
|
|
|
@objc
|
|
protocol HasOptionalMembers1 {
|
|
@objc optional func optionalInstanceFunc() -> Int
|
|
@objc optional static func optionalClassFunc() -> Int
|
|
|
|
@objc optional var optionalInstanceProperty: Int { get }
|
|
@objc optional static var optionalClassProperty: Int { get }
|
|
}
|
|
|
|
func sanityCheck1(_ a: HasOptionalMembers1) {
|
|
func isOptionalInt(_ a: inout Int?) {}
|
|
|
|
var result1 = a.optionalInstanceFunc?()
|
|
isOptionalInt(&result1)
|
|
|
|
var result2 = a.optionalInstanceProperty
|
|
isOptionalInt(&result2)
|
|
}
|
|
|
|
// NO_ERRORS_UP_TO_HERE
|
|
|
|
func optionalMembers1(_ a: HasOptionalMembers1) {
|
|
a.#^OPTIONAL_MEMBERS_1^#
|
|
}
|
|
// OPTIONAL_MEMBERS_1: Begin completions, 3 items
|
|
// OPTIONAL_MEMBERS_1-DAG: Decl[InstanceMethod]/CurrNominal: optionalInstanceFunc?()[#Int#]{{; name=.+$}}
|
|
// OPTIONAL_MEMBERS_1-DAG: Decl[InstanceVar]/CurrNominal: optionalInstanceProperty[#Int?#]{{; name=.+$}}
|
|
// OPTIONAL_MEMBERS_1-DAG: Keyword[self]/CurrNominal: self[#any HasOptionalMembers1#]; name=self
|
|
|
|
func optionalMembers2<T : HasOptionalMembers1>(_ a: T) {
|
|
T.#^OPTIONAL_MEMBERS_2^#
|
|
}
|
|
// OPTIONAL_MEMBERS_2: Begin completions, 5 items
|
|
// OPTIONAL_MEMBERS_2-DAG: Decl[InstanceMethod]/CurrNominal: optionalInstanceFunc?({#(self): HasOptionalMembers1#})[#() -> Int#]{{; name=.+$}}
|
|
// OPTIONAL_MEMBERS_2-DAG: Decl[StaticMethod]/CurrNominal: optionalClassFunc?()[#Int#]{{; name=.+$}}
|
|
// OPTIONAL_MEMBERS_2-DAG: Decl[StaticVar]/CurrNominal: optionalClassProperty[#Int?#]{{; name=.+$}}
|
|
// OPTIONAL_MEMBERS_2-DAG: Keyword[self]/CurrNominal: self[#HasOptionalMembers1.Type#]; name=self
|
|
// OPTIONAL_MEMBERS_2-DAG: Keyword/CurrNominal: Type[#HasOptionalMembers1.Type#]; name=Type
|