Нет, вам обычно не нужно писать тесты для вещей, которые объявлены и проверены компилятором.Например, вы обычно не пишете тесты, в которых вы можете вызывать методы только правильных типов и т. Д.
Конечно, если у вас есть несколько типов, и вы хотите проверить, что все их свойства доступны только для чтения, дляНапример, это имеет смысл.(например, «каждая реализация этого интерфейса должна быть неизменной» - свойства только для чтения, по крайней мере, start , чтобы проверить это.)