1// RUN: mlir-opt --no-implicit-module --verify-diagnostics --split-input-file %s | FileCheck %s 2 3// CHECK-NOT: module 4// CHECK: func.func 5func.func private @foo() 6 7// ----- 8 9// expected-error@-3 {{source must contain a single top-level operation, found: 2}} 10func.func private @bar() 11func.func private @baz() 12 13// ----- 14 15// expected-error@-3 {{source must contain a single top-level operation, found: 0}} 16