[Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value

2021-08-23 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92806 Jonathan Wakely changed: What|Removed |Added Resolution|--- |FIXED Target Milestone|---

[Bug c++/92806] Suboptimal diagnostic for concept that depends on non-bool value

2021-06-10 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92806 --- Comment #1 from Jonathan Wakely --- This seems to be fixed now: a.C:8:9: required by the constraints of 'template concept foo' a.C:8:25: error: constraint 'trait::value [with T = int]' has type 'trait::', not 'bool' 8 | concept foo = t