<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/139476>139476</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
out-of-line definition of constrained members is not accepted (new failing example of closed bug)
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
xaxazak
</td>
</tr>
</table>
<pre>
[currently closed bug here](https://github.com/llvm/llvm-project/issues/49620) (maybe reopen that and close this one)
```
namespace moo
{
template <typename T>
constexpr bool baa = true;
template <typename T> requires baa<T>
void caw();
}
template <typename T> requires moo::baa<T>
void moo::caw() {}
```
[compiler-explorer](https://godbolt.org/z/vGoavxf7M)
(using -std=c++26)
clang (trunk): error: out-of-line definition of 'caw' does not match any declaration in namespace 'moo'
gcc: compiles successfully
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJycU8uO4zYQ_JrWpeEB3ZT1OOjgWcc55ZYfoKiWxCxFKiTltffrA8oTTxZIkCAAARHoVhWqiqViNJNj7uD0DqdLobY0-9Dd1V19V1-L3g-PPNJbCOySfaC2PvKA_TbhzIHhdAFq5pTWCPIMdAW6TibNW_-m_QJ0tfb25-ewBv8b6wR0NTFuHIGuZVuRAGoRqFnUo2cM7Fd2mGaVULnhSYhpNhG9Y6AWxDmfSnwccXZq4bgqzbh4v49bqN8_LqJNvKxWJUaQX9Jj5byOv4L86bWhvYuJ72vA3nuLvVII8oIpbAzyE-jfETHw75sJHDMGyC8_sNy8GVCrb0BNlvECri9PSf8BNeuTZ5DnH-B34NfoxYDZhCf4X8zKafplNZbDge-r9YHD36boh97b9ObDBHT9DnS9_ezV7T7Wv3yGQM0WjZvwENMA8qKB3oHeqXpuaKvclJNNYXNfd81n5BB8yBe_pYMfD9Y4xoFH40wy3qEfEajeRdQ4eI7ofMJFJT2jcg8cWFsV1L5rHH5mD1RnD6gGcZ60zhQfQiPGTWuOcdysfRRDJ4dWtqrg7liXtRBCVm0xd1VV9SR1U9IwSJa9ahpxFDWJWh2plGNhOhJ0EqfjkY4nKps3Hmt9PEmtSlErTS2Ughdl7Ft-7tm5Yn_o3VG2ZV0VVvVs4141IsffcJ8CUW5e6PaO9NsUoRTWxBQ_YZJJlrt_dmx_wEEZxwMuvPQcIpqnc0prXhMPOYfMOSpjc2R8V8tqef_71WmgttiC7f5_oT-k3jr6IwAA__8KHVxC">