1// RUN: mlir-opt %s | mlir-opt | FileCheck %s 2 3func.func @test(%arg0 : !test.optional_value_type, %arg1 : !test.optional_value_type<3>) { 4 // CHECK: test.format_maybe_empty_type %{{.*}} : !test.optional_value_type 5 test.format_maybe_empty_type %arg0 : !test.optional_value_type 6 // CHECK: test.format_maybe_empty_type %{{.*}} : <3> 7 test.format_maybe_empty_type %arg1 : !test.optional_value_type<3> 8 return 9} 10