Swift: use -typecheck in QL tests

Author: Paolo Tranquilli

swift/tools/qltest.sh

@@ -9,7 +9,7 @@ RESOURCE_DIR="$CODEQL_EXTRACTOR_SWIFT_ROOT/resource-dir/$CODEQL_PLATFORM"
 export CODEQL_EXTRACTOR_SWIFT_LOG_LEVELS=${CODEQL_EXTRACTOR_SWIFT_LOG_LEVELS:-out:text:no_logs,out:console:info}
 for src in *.swift; do
   env=()
-  opts=(-resource-dir "$RESOURCE_DIR" -c -primary-file "$src")
+  opts=(-resource-dir "$RESOURCE_DIR" -typecheck -primary-file "$src")
   opts+=($(sed -n '1 s=//codeql-extractor-options:==p' $src))
   expected_status=$(sed -n 's=//codeql-extractor-expected-status:[[:space:]]*==p' $src)
   expected_status=${expected_status:-0}

swift/tools/test/qltest/utils.py

@@ -60,7 +60,7 @@ def assert_extractor_executed_with(*flags):
         for actual, expected in itertools.zip_longest(execution, flags):
             if actual:
                 actual = actual.strip()
-                expected_prefix = f"-resource-dir {swift_root}/resource-dir/{platform} -c -primary-file "
+                expected_prefix = f"-resource-dir {swift_root}/resource-dir/{platform} -typecheck -primary-file "
                 assert actual.startswith(expected_prefix), f"correct options not found in\n{actual}"
                 actual = actual[len(expected_prefix):]
             assert actual, f"\nnot encountered: {expected}"