// Ensure that an error in a non-primary is reported in the causal primary's .dia file,
// and that the other primary's .dia file is truncated to indicate a failed compilation.
//
// RUN: rm -f %t.*

// First, put the causal primary first:

// RUN: not %target-swift-frontend -typecheck  -primary-file %s  -serialize-diagnostics-path %t.main.dia -primary-file %S/../Inputs/empty.swift  -serialize-diagnostics-path %t.empty.dia %S/Inputs/serialized-diagnostics-batch-mode-suppression-helper.swift  2> %t.stderr.txt

// RUN: test -e %t.main.dia -a -s %t.main.dia
// RUN: test -e %t.empty.dia -a ! -s %t.empty.dia

// Now, put the causal primary second:
// (No matter which order, the error message goes with the causal primary.)

// RUN: not %target-swift-frontend -typecheck  -primary-file %S/../Inputs/empty.swift  -serialize-diagnostics-path %t.empty.dia -primary-file %s  -serialize-diagnostics-path %t.main.dia  %S/Inputs/serialized-diagnostics-batch-mode-suppression-helper.swift  2> %t.stderr.txt

// RUN: test -e %t.main.dia -a -s %t.main.dia
// RUN: test -e %t.empty.dia -a ! -s %t.empty.dia

func test(x: SomeType) {
}