[Bug c++/96164] Constraints and explicit template instantiation

[jaahans2 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96164

--- Comment #1 from kaba  ---
The error is "use of function 'void A::g() requires  N == 3 [with int N =
2]' with unsatisfied constraints"

[Bug c++/96164] New: Constraints and explicit template instantiation

[jaahans2 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96164

Bug ID: 96164
   Summary: Constraints and explicit template instantiation
   Product: gcc
   Version: 10.1.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: jaahans2 at gmail dot com
  Target Milestone: ---

The following code does not compile in all of gcc 10.1, msvc 19.24, and clang
10.0.0:

template 
struct A {
void g() requires (N == 3) {}
void f() requires (N == 3) { g(); }
};

template struct A<2>;