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
69 lines
2.5 KiB
Swift
69 lines
2.5 KiB
Swift
// RUN: %batch-code-completion
|
|
|
|
protocol FontStyle {}
|
|
struct FontStyleOne: FontStyle {}
|
|
struct FontStyleTwo: FontStyle {}
|
|
|
|
extension FontStyle where Self == FontStyleOne {
|
|
static var variableDeclaredInConstraintExtension: FontStyleOne { FontStyleOne() }
|
|
}
|
|
|
|
func foo<T: FontStyle>(x: T) {}
|
|
func test() {
|
|
foo(x: .#^COMPLETE_STATIC_MEMBER?check=EXTENSION_APPLIED^#)
|
|
}
|
|
|
|
// EXTENSION_APPLIED: Begin completions, 1 item
|
|
// EXTENSION_APPLIED-DAG: Decl[StaticVar]/CurrNominal/TypeRelation[Convertible]: variableDeclaredInConstraintExtension[#FontStyleOne#];
|
|
|
|
func test<T: FontStyle>(x: T) {
|
|
x.#^COMPLETE_MEMBER_IN_GENERIC_CONTEXT?check=EXTENSION_NOT_APPLIED^#
|
|
}
|
|
|
|
// EXTENSION_NOT_APPLIED: Begin completions, 1 item
|
|
// EXTENSION_NOT_APPLIED-DAG: Keyword[self]/CurrNominal: self[#FontStyle#];
|
|
// EXTENSION_NOT_APPLIED-NOT: variableDeclaredInConstraintExtension
|
|
|
|
struct WrapperStruct<T: FontStyle> {
|
|
let y: T
|
|
|
|
func test(x: T) {
|
|
x.#^COMPLETE_MEMBER_IN_NESTED_GENERIC_CONTEXT?check=EXTENSION_NOT_APPLIED^#
|
|
y.#^COMPLETE_MEMBER_FROM_OUTER_GENERIC_CONTEXT_IN_INNER?check=EXTENSION_NOT_APPLIED^#
|
|
test(x: .#^COMPLETE_GENERIC_FUNC_WITH_TYPE_SPECIALIZED^#)
|
|
// COMPLETE_GENERIC_FUNC_WITH_TYPE_SPECIALIZED-NOT: variableDeclaredInConstraintExtension
|
|
}
|
|
}
|
|
|
|
func bar<T: FontStyle>(x: T) -> T { return x }
|
|
func test2<T: FontStyle>(x: T) {
|
|
bar(x).#^COMPLETE_ON_GENERIC_FUNC_WITH_GENERIC_ARG?check=EXTENSION_NOT_APPLIED^#
|
|
bar(FontStyleTwo()).#^COMPLETE_ON_GENERIC_FUNC^#
|
|
// COMPLETE_ON_GENERIC_FUNC: Begin completions, 1 item
|
|
// COMPLETE_ON_GENERIC_FUNC-DAG: Keyword[self]/CurrNominal: self[#FontStyleTwo#];
|
|
}
|
|
|
|
// https://github.com/apple/swift/issues/55419
|
|
|
|
struct Struct {}
|
|
struct Indicator<T> {}
|
|
extension Indicator where T == Struct {
|
|
static var activity: Indicator<Struct> { fatalError() }
|
|
}
|
|
|
|
func receiver<T>(_ indicator: Indicator<T>) {}
|
|
|
|
func test() {
|
|
receiver(.#^COMPLETE_GENERIC_TYPE^#)
|
|
}
|
|
// COMPLETE_GENERIC_TYPE: Begin completions, 2 items
|
|
// COMPLETE_GENERIC_TYPE: Decl[Constructor]/CurrNominal/TypeRelation[Convertible]: init()[#Indicator<T>#];
|
|
// COMPLETE_GENERIC_TYPE: Decl[StaticVar]/CurrNominal/TypeRelation[Convertible]: activity[#Indicator<Struct>#];
|
|
|
|
func testRecursive<T>(_ indicator: Indicator<T>) {
|
|
testRecursive(.#^COMPLETE_RECURSIVE_GENERIC^#)
|
|
// FIXME: We should be suggesting `.activity` here because the call to `testRecursive` happens with new generic parameters
|
|
// COMPLETE_RECURSIVE_GENERIC: Begin completions, 1 item
|
|
// COMPLETE_RECURSIVE_GENERIC-DAG: Decl[Constructor]/CurrNominal/TypeRelation[Convertible]: init()[#Indicator<T>#];
|
|
}
|