Copilot happily writes failing testa too, TDD style. It just generates code tests that are very common and probably won’t catch those hard to miss cases anyway.