https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96675
--- Comment #5 from Giorgio Audrito <giorgio.audrito at gmail dot com> --- I add that a very similar problem happens with -Wtype-limits, I found this minimal example: template <unsigned x> struct foo { bool bar(unsigned y) { return y < x; } }; int main() { return foo<0>{}.bar(10); } I don't know if that has been addressed as well (should it be a separate bug report?).