What are tests for? Tests are for declaring how implementations should behave.
Should we then test that which is declared? Yes.
But then you're declaring how a declaration should behave, no? Only if you test the declaration by itself. If you test the integration of the declaration, then you're testing an implementation.