[Bug c++/95386] [10/11 Regression] ICE: in satisfaction_value, while compiling function with a requires clause since r10-3735-gcb57504a55015891

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|internal compiler error: in |[10/11 Regression] ICE: in
                   |satisfaction_value, while   |satisfaction_value, while
                   |compiling function with a   |compiling function with a
                   |requires clause             |requires clause since
                   |                            |r10-3735-gcb57504a55015891
             Status|WAITING                     |NEW
                 CC|                            |jason at gcc dot gnu.org

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Reduced test-case:

$ cat pr95386.ii
namespace std {
template <int __v> struct A {
  typedef bool value_type;
  constexpr operator value_type() { return __v; }
};
template <typename> struct is_lvalue_reference : A<false> {};
} // namespace std
template <class T> void fn1(T) requires !std::is_lvalue_reference<T>();
template <class T> void fn1(T);
void fn2() { fn1(fn2); }