<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/55323>55323</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            ODS error: "literal found after attribute `value` which does not have a buildable type"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:core
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          stellaraccident
      </td>
    </tr>
</table>

<pre>
    Found on https://reviews.llvm.org/D124318 and noted as a possible declarative assembly format bug.

```
error: format ambiguity caused by `:` literal found after attribute `value` which does not have a buildable type
    (`(` $value^ `)`)?
```

If adding the following test op:

```
def FormatLiteralFollowingOptionalGroup : TEST_Op<"format_literal_following_optional_group"> {
  let arguments = (ins
    TypeAttr:$type,
    OptionalAttr<AnyAttr>:$value
  );
  let assemblyFormat = [{
    (`(` $value^ `)`)?
    `:`
    $type
    attr-dict
  }];
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVE2PmzAQ_TVwsTYiNoTkwCGbj6pSpRw298jgAVwZjGyTKP--Y0OyG6l7qNQIGSZ-43nveexSi3tx1GMviO5J69xgI7aN6BEfA1cJN7tQ6tottGnwr_2Spmy5JhzxvXYgCLeEk0FbK0sFRECluOFOXgFnLHSlupNam447Uo7NIkr2UbKdx1UyPyEEY7TB2g8470rZjNLdScVHi5XKO_Fg5hOJkg4MVwj21HmNEeHOGVmODjzuytUIHnlrZdUSocF6xqTlnhqSkUpwT9ndB5gYEPxFdO2LhBGDdFomO4TSdDOP7PhXCdP4syZcCNk3xLWABJXStxCBdUQPXsD3LgioyTEY8GtSeHzknwYndc_VD6PHgXijzoeP8-WEC-4iSifXLrMvl2fZi57zLo1PRGTEUE3-_tCsAL02zdhB7yyuu_ceyN5-enJGh7bobWiMNPhFd5_TD2ITZLft79PXYcJPDs7oYN5r6blLJtFT_ez9C79_3ZOQ8eiTr4ukrzvtu-VNyMo9ueX7KNs_6fnwdYdiUTCxYRseO-kUFKf9B3l2LRr7n3uS0ng0qng9k4107VguKt1h4A_m_HobjP4NKIYepbUjWPzIMkZZ3BZJySjUaV7R1XqVJ0lVCSpKukrWmeBrlseKl6Bs4X2ntFPSC6q08RTQkVgWNKE0yZKcLpM8ZYuMVfWSbShfbkrBUxGlCXRcqudNEZsikMIjb3FSSes-r5EYt1w2PUAoiOvz0bXaFNaB8pdHVUmBvRgHHUUQ8Qdn2GXm">