[IDE] New test cases that were failing at some point during solver-based migration

Author: ahoppen

lib/AST/ASTNode.cpp

@@ -41,6 +41,7 @@ SourceRange ASTNode::getSourceRange() const {
   if (const auto *I = this->dyn_cast<CaseLabelItem *>()) {
     return I->getSourceRange();
   }
+  assert(!isNull() && "Null ASTNode doesn't have a source range");
   llvm_unreachable("unsupported AST node");
 }
 

test/IDE/complete_after_pattern_in_closure.swift

@@ -0,0 +1,16 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-ide-test -batch-code-completion -source-filename %s -filecheck %raw-FileCheck -completion-output-dir %t -enable-experimental-concurrency
+
+func makeURL(withExtension ext: Int?) -> Int? {
+  return nil
+}
+
+func test() {
+  let calculatorContext: Int? = {
+    guard let url#^COMPLETE^# = makeURL(withExtension: 1),
+          let script = url else {
+      return nil
+    }
+  }()
+  // COMPLETE-NOT: Begin completions
+}

test/IDE/complete_dont_filter_overloads_with_cc_token.swift

@@ -0,0 +1,25 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-ide-test -batch-code-completion -source-filename %s -filecheck %raw-FileCheck -completion-output-dir %t
+
+func buildView<T>(@MyViewBuilder _ x: () -> T) {}
+
+@resultBuilder struct MyViewBuilder {
+  static func buildBlock(_ content: MyText) -> MyText { content }
+}
+
+struct MyText : Equatable {
+  init(verbatim content: String) {}
+  init<S>(_ content: S) where S : StringProtocol {}
+}
+
+func test(text: String) {
+  buildView {
+    MyText(#^COMPLETE^#text)
+  }
+}
+
+// COMPLETE: Begin completions
+// COMPLETE-DAG: Decl[Constructor]/CurrNominal/Flair[ArgLabels]/TypeRelation[Convertible]: ['(']{#verbatim: String#}[')'][#MyText#];
+// COMPLETE-DAG: Decl[Constructor]/CurrNominal/Flair[ArgLabels]/TypeRelation[Convertible]: ['(']{#(content): StringProtocol#}[')'][#MyText#];
+// COMPLETE-DAG: Decl[LocalVar]/Local/TypeRelation[Convertible]: text[#String#];
+// COMPLETE: End completions

test/IDE/complete_in_closures.swift

@@ -551,3 +551,15 @@ func testCompleteAfterClosureWithIfExprThatContainErrors() {
   // AFTER_CLOSURE_WITH_IF_EXPR_THAT_CONTAIN_ERRORS-DAG: Pattern/CurrModule/Flair[ArgLabels]: ()[#Void#]; name=()
   // AFTER_CLOSURE_WITH_IF_EXPR_THAT_CONTAIN_ERRORS: End completions
 }
+
+func testVariableInClosureHasArchetype<K>(_ key: K) {
+  func takeClosure(_ x: () -> Void) {}
+
+  takeClosure {
+    var varWithArchetype = key
+    #^VAR_WITH_ARCHETYPE^#
+    // VAR_WITH_ARCHETYPE: Begin completions
+    // VAR_WITH_ARCHETYPE: Decl[LocalVar]/Local:               varWithArchetype[#K#];
+    // VAR_WITH_ARCHETYPE: End completions
+  }
+}

test/IDE/conforming-methods-after-var-in-closure.swift

@@ -0,0 +1,11 @@
+// Check that we don't crash
+// RUN: %target-swift-ide-test -conforming-methods -source-filename %s -code-completion-token=TOK
+
+func takeClosure(_ x: () -> Void) {}
+
+func test(name: String?) {
+  takeClosure {
+    guard let url#^TOK^# = name else {
+    }
+  }
+}