mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a5a17aa955
I could never remember the command to run batch code completion tests. Add a lit substitution for it.
65 lines
2.1 KiB
Swift
65 lines
2.1 KiB
Swift
// RUN: %batch-code-completion
|
|
|
|
enum A {
|
|
case one, two
|
|
}
|
|
|
|
struct B<T> {
|
|
let value: T
|
|
|
|
init(_ value: T) {
|
|
self.value = value
|
|
}
|
|
|
|
static func void() -> B<Void> {
|
|
return B<Void>(())
|
|
}
|
|
|
|
static func data(_ data: Data) -> B<Data> {
|
|
return B<Data>(data)
|
|
}
|
|
}
|
|
|
|
class C {
|
|
func a(s: String = "", a: A) {}
|
|
func b(s: String = "", i: Int = 0, a: A) {}
|
|
}
|
|
|
|
class D {
|
|
func a<T>(b: B<T>, s: String = "") {}
|
|
func b<T>(s: String = "", i: Int = 0, b: B<T>) {}
|
|
}
|
|
|
|
// type a point "." in placeholders to see the substitution list
|
|
|
|
// correct substitution
|
|
C().a(s: .#^STR_1?check=STRING^#, a: .#^A_1?check=A^#)
|
|
C().a(a: .#^A_2?check=A^#)
|
|
|
|
C().b(s: .#^STR_2?check=STRING^#, i: .#^INT_1?check=INT^#, a: .#^A_3?check=A^#)
|
|
C().b(i: .#^INT_2?check=INT^#, a: .#^A_4?check=A^#)
|
|
C().b(a: .#^A_5?check=A^#)
|
|
|
|
D().a(b: .#^B_1?check=B^#, s: .#^STR_3?check=STRING^#)
|
|
D().a(b: .#^B_2?check=B^#)
|
|
|
|
D().b(s: .#^STR_4?check=STRING^#, i: .#^INT_3?check=INT^#, b: .#^B_3?check=B^#)
|
|
|
|
// // incorrect substitution from previous parameter
|
|
D().b(i: .#^INT_4?check=INT^#, b: .#^B_4?check=B^#)
|
|
D().b(b: .#^B_5?check=B^#)
|
|
|
|
// INT-DAG: Decl[Constructor]/CurrNominal/IsSystem/TypeRelation[Convertible]: init({#bitPattern: UInt#})[#Int#]; name=init(bitPattern:)
|
|
|
|
// STRING-DAG: Decl[Constructor]/CurrNominal/IsSystem/TypeRelation[Convertible]: init()[#String#]; name=init()
|
|
|
|
// A: Begin completions, 3 items
|
|
// A-DAG: Decl[EnumElement]/CurrNominal/Flair[ExprSpecific]/TypeRelation[Convertible]: one[#A#]; name=one
|
|
// A-DAG: Decl[EnumElement]/CurrNominal/Flair[ExprSpecific]/TypeRelation[Convertible]: two[#A#]; name=two
|
|
// A-DAG: Decl[InstanceMethod]/CurrNominal/TypeRelation[Invalid]: hash({#(self): A#})[#(into: inout Hasher) -> Void#]; name=hash(:)
|
|
|
|
// B: Begin completions, 3 items
|
|
// B-DAG: Decl[Constructor]/CurrNominal/TypeRelation[Convertible]: init({#(value): T#})[#B<T>#]; name=init(:)
|
|
// B-DAG: Decl[StaticMethod]/CurrNominal/TypeRelation[Convertible]: void()[#B<Void>#]; name=void()
|
|
// B-DAG: Decl[StaticMethod]/CurrNominal: data({#(data): <<error type>>#})[#<<error type>>#]; name=data(:)
|