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

    <tr>
        <th>Summary</th>
        <td>
            'static assertion failed' diagnostics point to the `static_assert` token, which looks weird
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            good first issue,
            clang:diagnostics
      </td>
    </tr>

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

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

<pre>
    As briefly noted by @cjdb [here](https://godbolt.org/z/r38booz59), the errors we emit for "static assertion failed" point to the `static_assert` token and then underline the static assertion expression, which looks a little weird:

```
<source>:3:1: error: static assertion failed
static_assert(false);
^             ~~~~~
1 error generated.
```

See godbolt: https://godbolt.org/z/r38booz59

I think it would make sense and follow what GCC does: Just only highlight the assertion expression.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMU9GOqzYQ_ZrhZbSRsYHAAw_ZZFO1r_2AyuABvHHsyB6aZh_67RUk1d27d1daCxmQZ87MmXOsU7KjJ2qhfIbykOmZpxBb7jQZijHrgrm1u4RdtDS4G_rAZLC7IRSifzUdQvk8USQoDyDrifmSQO1AHkEex2C64HgT4gjy-AbyGFXdhfBWNiAbkHvkiZBiDDHhlZDOlnEIEUHKxJptjzolimyDx0FbRwakxEuwnpHDmg2VuIf-dQ-FSiCHE3nU3iwRHmdvKDrraU34BZj-uURKyQa_dHSdbD-hC-GUUKOzzI7wSjaahZY4gPh_r8Tjuf-qfQpz7AnUC6idArXLQe3u7JaPrwit2T9TkPWgXaJlRur5AV--4Pv177LuR_m9Bo7kKWoms_m8wXX_kwgfsixNfV-vdxi_I0_Wn9AyXsPsDJ71iTCRT7QOfQjOhSteJ834236PJtBSA_-YE2Pw7oaTHSdnx4lXRT6TYpOZVplGNTqjNq9qsRWlqutsalXZNIUeKrUVRhNpSb00eiiabZ_rqpeZbaWQShSizAtVyXojuq1QRhWm6Lpa9DkUgs7auo1zf58XsplNaaa2ypsyz5zuyKX1Okg5hmBwsDExrjEgJcg9SNk77UdQO2P16ENi26flrDxksV1gn7p5TFAIZxOnH4XYsqMW5PZLe2_xHeQ3rf7Rt6tdszm69oO-lqe52_ThDPK49PR4PV1ieKWeQR5XlgnkcR3GfwEAAP__QpNTxw">