// RUN: mlir-opt %s --test-bytecode-roundtrip="test-dialect-version=1.2 test-kind=6" -verify-diagnostics | FileCheck %s

module {
  "test.versionedA"() <{dims = 123 : i64, modifier = false}> : () -> ()
}

// COM: the property downgrader is executed twice: first for IR numbering and then for emission.
// CHECK: downgrading op...
// CHECK: downgrading op properties...
// CHECK: downgrading op properties...