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

    <tr>
        <th>Summary</th>
        <td>
            template instantiation from dependent function parameter should be ill-formed.
        </td>
    </tr>

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

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

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

<pre>
    Given this code 

```cpp
template <int num> struct S {};

auto f(auto num) -> S<num> {}
```

gcc fails to compile, and clang succeeds. It looks like this should be a compile error, as template parameters needs arguments to be constant expressions? 

Link to compiler explorer - https://godbolt.org/z/va3bao6cW
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxckkGP2yAQhX_N-DJKZEOcZA8csrt1Vam3PfSMYWzTYLBgiLr99ZWddLuqNJItNN883mN0zm4MRAraZ2hfK114ikmZSYfxOkWeyruZShirPtp39dXdKCBPLqOJlhDqy1rH-l5mWaC-MM2L10wI8sUFxlBmkF8wcyqG8Q3h9AynV5DPd1oXjjiAOG8_a7N4wt1KvIF8ecAP5pPWHR6NwUE7n5EjmjgvzhOIF9TBovE6jJiLMUQ27_Ebo4_xmtG7K91N5CkWb7En1H9ppJRi2mZk_LCy6KRnYkoZwzoNdRrLTIE34Z7QxJBZB0b6tSTK2cWQQXaPhL67cP10w7R2-Zgo4Q4n5iWDvIDoQHRjtH30vI9pBNH9BtHdtOx1PJoflVXSPsknXZFqTgdZt_J4kNWkWmrPrbWDNUOvyWjRH5v2eBbWHgZ5klQ5JWrR1lKc6lYearGXWta6bZqT7kVjTAOHmmbt_N7727xqVy7nQqqRUtTnyuuefN5WRIgtVpCXIcXAFCwIsS5OUiu768uY4VB7lzn_m8aOPamPNN09K6fZxYBDijNaWihYCoxDCWY7_8j80zM573dDTDPZfVWSV_-F53gq_d7EGUS3ij8-uyXFn2QYRLf5yiC6h7WbEn8CAAD___Tx-8A">