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

    <tr>
        <th>Summary</th>
        <td>
            No match for non-type template template parameter
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    The following code compiles with 19.1.0 but not with 20.1.0

```cpp
template <typename>
struct check {};

template <
 typename T,
    template <typename, T> typename Sequence_T,
    T value_T>
struct check<Sequence_T<T, value_T>> {
    constexpr static bool value = true;
};

template <typename T, T>
struct Sequence {};

static_assert(check<Sequence<int, 0>>::value);
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0kk9zmzAQxT_NctmJR0hg4KCD48THXup7Rshro1YgKi358-07gNM4aTujGZjHvsdvV2tScpeBSEN5D-VDZibuQtSDOBSvWRtOb_rYEZ6D9-HFDRe04URoQz86TwlfHHeYN5t8I7CdGIfAqybFrIHYzWcr1mPHEcSOqR-9YUJQe34baTA9gXoEsUscJ8toO7I_Eap7qB5A3a8hty4QO3x34hHkIiDiP5PlHo-gHj8M3-nXRIOlpxvnEZ-Nn2bpLxBQ-xuH2s-u22r1uKCuOTYMiel1jJjYsLPYhuDXagT1gBwnurb0n94-9YWfed45vs5m_deTSYkig6y_coPau4HnPLESg9qB2i1YIJtrzvstZSetTo1qTEY6r4q8ElI2ddbpbVm2trTnytY2P6vWqnNRmKJRtD3Xp6rKnJZClkLleV7kuao3W0u2bJvaGlmQNAUUgnrj_Mb7534T4iVzKU2kcyWqqs68acmnZROlHOgFl68g5byYUc-mu3a6JCiEd4nTRww79qS_BewN2w7PIeIQhrt5mB9b8edlNNH0xBSzKXrdMY9pnog8gDxcHHdTu7GhB3mY86-PuzGGH2QZ5GGhSiAPV-xnLX8HAAD__zLLBEA">