For a good talk that discusses the boundaries of unit tests and the type system and how they overlap (or don't) I can highly recommend this video: https://www.

For a good talk that discusses the boundaries of unit tests and the type system and how they overlap (or don't) I can highly recommend this video: https://www.destroyallsoftware.com/talks/ideology https://www.destroyallsoftware.com/talks/ideology