Fair point! The question I have then is whether it's possible to create a tool that automatically detects bugs like this without needing to write an integratio

Fair point! The question I have then is whether it's possible to create a tool that automatically detects bugs like this without needing to write an integration test for this specific cases.