// RUN: mlir-opt %s | mlir-opt | FileCheck %s

module {
  // CHECK-LABEL: irdl.dialect @testd {
  irdl.dialect @testd {
    // CHECK: irdl.type @singleton
    irdl.type @singleton

    // CHECK: irdl.type @parametrized {
    // CHECK:   %[[v0:[^ ]*]] = irdl.any
    // CHECK:   %[[v1:[^ ]*]] = irdl.is i32
    // CHECK:   %[[v2:[^ ]*]] = irdl.is i64
    // CHECK:   %[[v3:[^ ]*]] = irdl.any_of(%[[v1]], %[[v2]])
    // CHECK:   irdl.parameters(%[[v0]], %[[v3]])
    // CHECK: }
    irdl.type @parametrized {
      %0 = irdl.any
      %1 = irdl.is i32
      %2 = irdl.is i64
      %3 = irdl.any_of(%1, %2)
      irdl.parameters(%0, %3)
    }

    // CHECK: irdl.operation @any {
    // CHECK:   %[[v0:[^ ]*]] = irdl.any
    // CHECK:   irdl.results(%[[v0]])
    // CHECK: }
    irdl.operation @any {
      %0 = irdl.any
      irdl.results(%0)
    }
  }
}