[Bug c++/111703] [11/12/13/14 Regression] [C++20]Compiler fails when using generic lambda in specific situation since r11-550-gf65a3299a521a4

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|11.4.0                      |10.5.0
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot 
gnu.org
           Keywords|needs-bisection,            |
                   |needs-reduction             |
      Known to fail|                            |11.4.0
   Target Milestone|12.4                        |11.5
             Status|NEW                         |ASSIGNED
            Summary|[12/13/14 Regression]       |[11/12/13/14 Regression]
                   |[C++20]Compiler fails when  |[C++20]Compiler fails when
                   |using generic lambda in     |using generic lambda in
                   |specific situation          |specific situation since
                   |                            |r11-550-gf65a3299a521a4

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reduced testcase exhibitng an 11 regression:

template<class T>
constexpr bool always_true() { return true; }

struct P {
  P() = default;

  template<class T>
    requires (always_true<T>())
  constexpr P(const T&) { }

  int n, m;
};

void (*f)(P);

template<class T>
constexpr bool h() {
  P x;
  f(x);
  return true;
}