https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96821
mauro russo <ing.russomauro at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ing.russomauro at gmail dot com --- Comment #10 from mauro russo <ing.russomauro at gmail dot com> --- if I may contribute, please, check the code at https://godbolt.org/z/KhxWhqc75 with the questions in bottom comments. One of the questions (gcc on func1b<std::set>) is related to a always-true concept. Note also that MVSC in my case behaves differently from Clang on func1<std::set>. Should I open a new report for gcc, based on that code, or you think my case is completely included in this PR 96281 ?