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

    <tr>
        <th>Summary</th>
        <td>
            accepts-invalid with C++23 constexpr-unknown with struct containing reference
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            c++23,
            constexpr
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          efriedma-quic
      </td>
    </tr>
</table>

<pre>
    ```
int &ff();
int &x = ff();
struct A { int& x; };
constexpr A g = {x};
const A* gg = &g;
```

Should be rejected, currently accepted.  (And related variations miscompile.)
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxUkV-O4ywQxE_Tfmklwo3_xA882BPlAt8JMG7bfIshCziTuf0qk8zOjoSEVL9WNVTplOzimRXUA9TnQu95DVHxHC1Pmz783q0pxjB9KGjE64je-oxAzTwDnYA6kMO3eEeQZ_yJUo67ydgjtANan4EavIMcENrzc8IEnzLfrxF7XD4doB3uPzH2QD0uL0zN8mT_PgxE_98adjfhyBj5fzaZJ6A3NHuM7LP7QG0MXzNPR0SgU-8njOx05glvOlqdbfAJN5tM2K7W8RGoKyYlp052umBVtlVZNqVsRbGqZiZZyaaqT3KsZTvOtegqbmatqRlnqQurSFAtpKhFWzelOJZaduWpMt0seJzrDirBm7bu6NxtO4a4FDalnVVJ3amqC6dHdumzHCLjtF9A9nMMPrOfgAjo7QGABqCB5LfyFedDqc9FVA__w7gvCSrhbMrpe2O22bF65pIO1t-0sxO-27zi25cz_nU87P6XD-_-OfBq1gSftfXWLxh55sjecLFHp9acrwlkD3QBuiw2r_t4NGEDujz2v67DNYZHV0CXz-8noMsrgZuiPwEAAP__TpLNug">