https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92099
--- Comment #5 from 孙晅 ---
(In reply to Jason Merrill from comment #4)
> How is this type-dependent? id is value-dependent, but not type-dependent:
> it has type E. This seems like a valid (though optional) diagnostic.
But since id is a templa
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92099
--- Comment #1 from 孙晅 ---
Also tried with gcc 10.0.0 201901015 (experimental) and failed to compile.
: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: sunxuanmailbox at 163 dot com
Target Milestone: ---
I'm using a type-dependent struct to enable static_assert inside contexpr if.
The following code compiles fine with