There's no reason we can't do certain checks in templated classes. Look into how we can enforce things like override: it should be trivial to determine in most cases (though it could be interesting if whether or not override is dependent on how the template is instantiated).