// RUN: %empty-directory(%t)

// RUN: not %target-swift-frontend -typecheck -serialize-diagnostics-path %t/nonexistent/some.dia %s 2>%t.err.txt
// RUN: %FileCheck --input-file=%t.err.txt %s -check-prefix=OPEN-FAIL
// OPEN-FAIL: cannot open file '{{.*}}/nonexistent/some.dia' for diagnostics emission

var CRASH = 0

// Make sure no diagnostic file is created if the compiler crashes.
// RUN: not --crash %target-swift-frontend -typecheck -serialize-diagnostics-path %t/some.dia %s -debug-forbid-typecheck-prefix CRASH
// RUN: not find %t/some.dia