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

    <tr>
        <th>Summary</th>
        <td>
            Clang-Tidy silent failures are extremely misleading
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          higher-performance
      </td>
    </tr>
</table>

<pre>
    [Example](https://godbolt.org/z/n7Eddabrd):

```c++
int main() { return 0; }
```
```
clang-query> m expr(hasType(anyOf(type(), type())))
0 matches.
```

These should really produce errors -- it's too easy to write a complicated query thinking that `anyOf` or `allOf` are working correctly when they aren't.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxcksFuozAQhp9muIwSmYEEOHBI2ua6l76AwRPwrrFZe2jLPv0K0tVWlX4JfnnG81nz65Ts4JlbOF3h9JzpRcYQ29EOI8fDzPEe4qR9z1kXzLpVvXzoaXYMp2egehSZExQXoBvQbQimC06OIQ5Atz9AN1-9GKO7aICarUztOquHeqDrJnWxXnDS1gPVQA1CdcXIskSPCoorQvX8te_bf--0Hw6_F44rFC84IX_McYPT6XWdGajWfv1xB6rlYTcYesKv7p_UReGkpR85Hb-PVJfXkRNjGsPiDEbWzq04x2CWnpFjDDHh4YBWgKqEEgKyTitKwPdohVFjH6bZ2V4LG9yBUUbrf1k_oIxaEM7qwXpWGOJunXtYHRnfQ9xr-xAj9-JWfB_Zo4y8buceqJJjZtrCNEWjM27zqihzVdaNysb2fs-rmk5NUVbdqazZ5PeeSipNZU510-nMtqSozCkv8lNZ5-poOmMq6s9Voc6KqYRS8aStOzr3Nm1rzmxKC7d53mwjnO7YpT1KRI-tiDUrEG3Riu3WdeiWIUGpnE2S_t8jVhy3T3vPqzUrJuvYC961dUvktD-fPyTyxG7FySbH2lg_ZEt07bcYWhmX7tiHCei2Tfj8HOYYfnIvQLcdOwHdPsnfWvobAAD__5Ih8Yk">