<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 - Default non-type template parameters with immediately invoked lambdas fail with deduction guides"
href="https://bugs.llvm.org/show_bug.cgi?id=51973">51973</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Default non-type template parameters with immediately invoked lambdas fail with deduction guides
</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++
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>friedkeenan@protonmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, dgregor@apple.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>With the following code, clang claims the defaulted non-type template parameter
is not a constant expression, despite it being so (with GCC handling it fine as
well):
#include <concepts>
template<
typename T,
auto V = []() {
if constexpr (std::same_as<T, int>) {
return 1;
} else {
return 2;
}
}()
>
struct Test {
constexpr Test(T) { }
};
template<typename T>
Test(T) -> Test<T>;
void test() {
Test<int, 1>(1);
}
Godbolt link: <a href="https://godbolt.org/z/jT3zPx9fx">https://godbolt.org/z/jT3zPx9fx</a>
As you can see, even if you specify the template parameters when constructing,
it still complains, and if you duplicate the immediately invoked lambda in the
deduction guide and remove the explicated template arguments for the
constructor, clang actually says that it can't compile that expression yet.
However, if you specify the template arguments, it consumes everything fine.</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>