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

--- Comment #34 from friedkeenan at protonmail dot com ---
(In reply to Jakub Jelinek from comment #33)
> And, it doesn't need reflection either,
> struct S {
>   consteval S (int x) noexcept : a {x} { }
>   consteval S (const S &) = default;
>   static consteval S bar () noexcept { return S { int {} }; }
>   int a;
> };
> 
> template <typename T>
> void
> foo ()
> {
>   constexpr auto s = S::bar ();
> }
> ICEs too and doesn't need reflection branch, so let me file that separately.

Ah, strange. I guess it might be out of scope of the reflection branch then,
yeah. Thanks for taking a look!

Reply via email to