https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106826
Johel Ernesto Guerrero Peña <johelegp at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |12.2.0
Known to fail| |13.0
Summary|[modules] Variable template |[13 Regression] [modules]
|of type trait via |Variable template of type
|importable header gives |trait via importable header
|wrong result |gives wrong result
--- Comment #1 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> ---
As mentioned, this works with GCC 12: https://godbolt.org/z/bnfzPc5M8.
