Параллельное тестирование: как не тратить тесты на проверку того, что и так гарантировано типами

Опубликован разбор того, как распределять тесты между этапом компиляции и этапом выполнения в Rust, и почему часть проверок компилятор делает лучше.

О чём материал

Тест, который проверяет то, что уже гарантировано системой типов, почти всегда бесполезен: компилятор поймает это раньше. Ценность тестов — в проверке того, что типы выразить не могут: логики, порядка операций, взаимодействия с внешним миром.

Практический совет из материала — сначала спросить, что здесь может сломаться, и писать тест только на это.

Оригинал

Speed wins when fuzzing Rust code with #[derive(Arbitrary)]