Start work on adding test for TypeUtils.resolveTypeForPipeCompletion infinite loop

Author: mediremi

tests/analysis_tests/tests/src/ExhaustiveSwitch.res

@@ -41,3 +41,29 @@ let vvv = Some(x->getV)
 // switch withSomeVarian
 //                      ^com
 // ^ve-
+
+module Sqlite = {
+  module Transaction = {
+    type t<'a>
+
+    external runImmediate: t<'a> => 'a = "immediate"
+  }
+
+  module Database = {
+    type t
+
+    external make: () => t = "default"
+
+    external transaction: (t, unit => 'a) => Transaction.t<'a> = "transaction"
+  }
+}
+
+let openSqliteDB = () => Sqlite.Database.make()
+
+let transactionForProject = (fn) => {
+  openSqliteDB()
+  ->Sqlite.Database.transaction(fn)
+  ->Sqlite.Transaction.runImmediate
+  //   ^xfm
+  ->ignore
+}