// RUN: mlir-opt %s | FileCheck %s
// RUN: mlir-opt -mlir-print-local-scope %s | FileCheck %s --check-prefix=CHECK-GENERIC

// CHECK: #[[DISTINCT0:.*]] = distinct[0]<42 : i32>
// CHECK: #[[DISTINCT1:.*]] = distinct[1]<array<i32: 10, 42>>
// CHECK: #[[DISTINCT2:.*]] = distinct[2]<42 : i32>

// CHECK:         distinct.attr = #[[DISTINCT0]]
// CHECK-GENERIC: distinct.attr = distinct[0]<42 : i32>
"test.op"() {distinct.attr = distinct[0]<42 : i32>} : () -> ()

// CHECK:         distinct.attr = #[[DISTINCT1]]
// CHECK-GENERIC: distinct.attr = distinct[1]<array<i32: 10, 42>>
"test.op"() {distinct.attr = distinct[1]<array<i32: 10, 42>>} : () -> ()

// CHECK:         distinct.attr = #[[DISTINCT0]]
// CHECK-GENERIC: distinct.attr = distinct[0]<42 : i32>
"test.op"() {distinct.attr = distinct[0]<42 : i32>} : () -> ()

// CHECK:         distinct.attr = #[[DISTINCT2]]
// CHECK-GENERIC: distinct.attr = distinct[2]<42 : i32>
"test.op"() {distinct.attr = distinct[42]<42 : i32>} : () -> ()

// CHECK: distinct.attr = distinct[3]<>
"test.op"() {distinct.attr = distinct[3]<>} : () -> ()

// CHECK: distinct.attr = distinct[4]<>
"test.op"() {distinct.attr = distinct[4]<unit>} : () -> ()