https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92082
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |marxin at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed on trunk with r10-5010-g1906392b2c9a02da. Now we reject the code:
g++ pr92082.cc -c -std=c++2a -fconcepts -fchecking
pr92082.cc: In function ‘int main()’:
pr92082.cc:15:61: error: deduced initializer does not satisfy placeholder
constraints
15 | instanceof<std::map> auto x = std::array<int, 3>{1, 2, 3};
| ^
pr92082.cc:15:61: note: constraints not satisfied
pr92082.cc:11:9: required for the satisfaction of ‘instanceof<std::array<int,
3>, std::map>’
pr92082.cc:11:9: note: the expression ‘resolve<ttp, c>::value’ evaluated to
‘false’
11 | concept instanceof = resolve<ttp, c>::value;
| ^~~~~~~~~~
