https://bugs.llvm.org/show_bug.cgi?id=44809
Bug ID: 44809
Summary: Constraint ignored in function template of class
template when using terse syntax
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: C++2a
Assignee: unassignedclangb...@nondot.org
Reporter: da...@doublewise.net
CC: blitzrak...@gmail.com, erik.pilking...@gmail.com,
llvm-bugs@lists.llvm.org, richard-l...@metafoo.co.uk
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?).
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
