| // RUN: %sourcekitd-test -req=sema %S/../Inputs/forbid_typecheck_primary.swift -- \ | |
| // RUN: -Xfrontend -debug-forbid-typecheck-prefix -Xfrontend NOTYPECHECK -module-name forbid \ | |
| // RUN: %S/../Inputs/forbid_typecheck_2.swift %S/../Inputs/forbid_typecheck_primary.swift > %t.response | |
| // RUN: diff -u %s.response %t.response |