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

    <tr>
        <th>Summary</th>
        <td>
            [clang] template specialization for integer value matches wrong type
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    https://godbolt.org/z/MnqssGY1b

```CPP
template<typename T, auto V>
struct S
{
    static constexpr bool value = true;
};

template<typename T>
struct S<T, 0>
{
    static constexpr bool value = false;
};

static_assert(S<void, 0L>::value);
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMkl-L1DAQwD_N9CXckk7abvvQh96u9UXhQBF8kjSd7UbSpibT1btPL-32EEVBGEgI_OaX-aNjtMNEVEP-CPk50QtffahvOupRJ53vn-sr8xxBNYAtYDv4vvOODz4MgO0LYPt--hbj289pB7JZo5D3OD09gWyYxtlpJlAnfp5p0iOJj4AnoRf24hOoNyCbyGExLD6s-PERZCOEEJE1WyOMnyLTjzmIznsnbtotJECdBYeFQD1uzHm__Mv3u0Wdth_I-_P_Gy_axb8o79gXHSMFBixXwc3bfnO8WyWqAdVseQCrnXttU9LXqq9UpROq06M6FkWWl5hc65yOJktTKXNZYo_GVEV2LHMjszSvuq5MbI0Sc5miQqkKxENVFrIsC8orNP2lI8gkjdq6g3O3cZ1YYmNcqE4xS8sicbojF7fJIxqnpwEQ1yUI9Qo8dMsQIZPORo6_UrBlt63LncjP4rXlIs5krHb2RbP1k7j4IOzENFDYmzhqNleK4nvw0yDW-SRLcH9umOXr0h2MHwHbVbsfD3PwX8kwYLuVEQHbvZJbjT8DAAD__-tE2t4">