mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
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[#T#];
|
|
// 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>#];
|
|
}
|