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

    <tr>
        <th>Summary</th>
        <td>
            function template fails with a 'float' template argument
        </td>
    </tr>

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

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

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

<pre>
    This code:
```
template<float M> 
static float F()  {
        return M;
}


int main() {
        F<0.1f>();

        return 0;
}
```
fails with clang version 16.0.0:
```
testcase.cpp:10:2: error: no matching function for call to 'F'
        F<0.1f>();
        ^~~~~~~
testcase.cpp:4:14: note: candidate template ignored: invalid explicitly-specified argument for template parameter 'M'
static float F()  {
             ^
1 error generated.
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNU8ty4yAQ_Bp0oaIC9LIPOjjr-Jbb_gCGkUQKgwqQs_77HUl-ZCveqqiQGJihp3sGHb2-tL8HE6nyGkixI2xP2I7U7DqWZYLTaGVC_6_OepnoOyne6OqLSSaj6Lp_IGJDxJZS0ryubnp9AqQpuPng1UGa_dX48jUu0ZM07grzDeWADFjOO0y_hjzgnmVjT7L9q6yTxkb6adJAlZWup2cI0XhHeZ2znP2_IDEpGSFX44gxfA4U-FIIwYfZcB6FJDUYxOwmp9IM2vlAlbSWJk-JaLBazU_13SJI9Uaab-MZqXImVq5c5tbtMLXTRmMf6a2h1PTOB9Cz17iztEZT-DNao0yyl5c4gjKdAU1l6KcTYHdmCffTowzyBAnCrOb9ruaHV-KuZ9nla-1oDw4Cguv8aeUzaHldN3XDGSsz3RZ6W2xllpAvtPdC3xl-6a-cSS6ccH5E3JRlU7DtkNIY56YLpH3o8dh0zJU_4cLa8216GYP_AIU4BxPjBBGNarMpWDa0qpS62IqqqEqlkNr2WHUlF5WSUCktt5mVR7CxJdUrEcLBJ10g0CbVPjOtYEJwzireVHVZ5FzrRlXNpuSqkaooSMkAfxCbzzxyH_ostAul49RHdFoTU3w4ZYzYYYAlHeLLKQ0-tJcpmLNRKVtytwv3v_lbKJI">