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

    <tr>
        <th>Summary</th>
        <td>
            Type error on SIMD native types not caught by compiler
        </td>
    </tr>

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

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

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

<pre>
    @SadiinsoSnowfall and I were cleaning up some more of our SIMD library code and found that code like: 

```c++
auto f(__m128d a, __m128 b) { return a + b; }
```

Compiles when it should fail.

Reproduction :  

https://godbolt.org/z/eE4b4Kdn8
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxckU9r3DwQxj-NfBmyyGNvbB982E1eQ3jppek9SNZ4rVTWGP3Jsv30xeuFlsIDQtLMMz_mUTHaiyfqxfEsjq-Fymnm0H9Oyo2cC83m1otavitjrY_87vk6KedAeQNvcKVAMDpS3voL5BUiLwQLBwKegHOA97dvr-CsDircYGRD986JszeQZpX2N2d_kqhOIORp07PcNQo8b5InlRPDJLD9-FhKbA0ogS-wX0AL7EA0ZwiUcvCgQOAZtKjOIJrXvw13_xdeVusownUmDzZBnDk7A5Oy7rCXfKc1sMljsuxhI3ugzSmtUVQngYPA4cJGs0sHDheBwy-BA_1X6_p_49vC9JXpqk4V1JdN1ZVN1zV1Mfejfm5007SqJjzqzkyt1k1V1UZKLVVpCtujxKPEUsquwmN9aA2aEVsz1kjYjihqScuG6tzXss0ubIyZ-hKf664snNLk4j1PRE9XuP8KxC3e0G9NTzpfoqilszHFPzbJJkf9j9tKQCFwAPZ7fl4l-0WQbitF8JxgVPkyJ9BbpPddhiIH1_-zHZvmrA8jLwKHbcjjeFoDf9KYBA53tChweLB_9fg7AAD__8ZIzW0">