Implement restriction that a partial specialization must actually specialize
something, for variable templates.