<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Constraint ignored in function template of class template when using terse syntax"
href="https://bugs.llvm.org/show_bug.cgi?id=44809">44809</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Constraint ignored in function template of class template when using terse syntax
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>C++2a
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>david@doublewise.net
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>The following invalid code:
```
template<typename, typename>
concept false_ = false;
template<typename>
struct s {
static bool f(false_<char> auto);
};
auto x = s<char>::f(1);
```
is accepted in clang 93dc8bd26708ba5fb8b83b65c40ed840ef76730d. It seems that
all such concepts are ignored, which leads to ambiguities in code that relies
on partial ordering, too. This example was properly rejected in earlier
revisions, and has broken in the past few days (I think some time between now
and Saturday?).</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>