You're right, I should have read the Clang output more closely. The part about final inheritance makes sense, too, because otherwise a subclass could override t

You're right, I should have read the Clang output more closely. The part about final inheritance makes sense, too, because otherwise a subclass could override the behaviour and count_concept() would have to support that.