// CHECK-SAME: ([[f0:%.*]]: !mlrt.async_handle, [[f1:%.*]]: !mlrt.async_handle, [[f2:%.*]]: !mlrt.async_handle)
func.func @main(%f0: !mlrt.async_handle, %f1: !mlrt.async_handle, %f2: !mlrt.async_handle) -> () {
  // CHECK-NEXT: mlrt.await_all_handle [[f0]], [[f1]], [[f2]]
  // CHECK-NOT: mlrt.await_handle
  // CHECK-NEXT: return
  mlrt.await_handle %f0
  mlrt.await_handle %f1
  mlrt.await_handle %f2
  func.return
}

// -----