I have two template member functions that should be called based on meeting a constraint (being derived from a specific type)

This is a kind of follow-up question to How to detect a template function should impose a more strict concept.