// RUN: mlir-opt --no-implicit-module --mlir-print-skip-regions \
// RUN:   --split-input-file %s | FileCheck %s

// CHECK-LABEL: func.func @foo(%{{.+}}: i32, %{{.+}}: i32, %{{.+}}: i32) -> i32 {...}
// CHECK-NOT:     return
func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 {
  return %arg0: i32
}

// -----

// CHECK: module {...}
// CHECK-NOT: func.func
module {
  func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 {
    return %arg0: i32
  }
}