public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value
[not found] <bug-92806-4@http.gcc.gnu.org/bugzilla/>
@ 2021-06-10 11:59 ` redi at gcc dot gnu.org
2021-08-23 10:05 ` redi at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: redi at gcc dot gnu.org @ 2021-06-10 11:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92806
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This seems to be fixed now:
a.C:8:9: required by the constraints of 'template<class T> concept foo'
a.C:8:25: error: constraint 'trait<T>::value [with T = int]' has type
'trait<int>::<unnamed enum>', not 'bool'
8 | concept foo = trait<T>::value;
| ^~~~~
a.C:10:15: error: non-constant condition for static assertion
10 | static_assert(foo<int>);
| ^~~~~~~~
a.C:8:9: required by the constraints of 'template<class T> concept foo'
a.C:8:25: error: constraint 'trait<T>::value [with T = int]' has type
'trait<int>::<unnamed enum>', not 'bool'
8 | concept foo = trait<T>::value;
| ^~~~~
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value
[not found] <bug-92806-4@http.gcc.gnu.org/bugzilla/>
2021-06-10 11:59 ` [Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value redi at gcc dot gnu.org
@ 2021-08-23 10:05 ` redi at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: redi at gcc dot gnu.org @ 2021-08-23 10:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92806
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Target Milestone|--- |10.0
Status|UNCONFIRMED |RESOLVED
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Fixed by r10-7359 "c++: Give more expressions locations."
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-08-23 10:05 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-92806-4@http.gcc.gnu.org/bugzilla/>
2021-06-10 11:59 ` [Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value redi at gcc dot gnu.org
2021-08-23 10:05 ` redi at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).