https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71487 --- Comment #1 from Chungmin Lee <lemonedo at gmail dot com> --- You might say that in the above scenario HasLength does not have to be a template, but it is just a simplified example.