Since this test relies on compile-time checking, it doesn't make sense to put into TestKit (which could only test the runtime semantics against multiple DBs). Look at `EmbeddingTest` for an example of how to write such a test and where to put it.