[Sema] test: use %target-typecheck-verify-swift instead of -emit-sil

Author: hank121314

test/Sema/where_clause_across_module_boundaries.swift

@@ -1,6 +1,6 @@
 // RUN: %empty-directory(%t)
 // RUN: %target-swift-frontend -emit-module -o %t/ModuleA.swiftmodule %S/Inputs/where_clause_across_module_boundaries_module.swift
-// RUN: %target-swift-frontend -I %t -emit-sil -verify %s
+// RUN: %target-typecheck-verify-swift -I %t
 
 // SR-15807:
 // Associated Type Inference fails across module boundaries