Компилятор Groovy, конечно, найдет синтаксические ошибки, но почти нет ошибок типа, как в Java. Даже использование необъявленных переменных часто проходит компиляцию.
Объявление типов увеличит объем проверок, но не намного.
Это потому, что Groovy - это динамический язык с мощными функциями метапрограммирования, которые не позволяют компилятору знать, например, какие методы или поля данный объект будет иметь во время компиляции, так как это может быть изменено во время выполнения другим кодом.
Однако плагины IDE предлагают компромисс, помечая члены переменных объявленным типом, которых нет в объявлении класса, как возможные ошибки. Затем разработчик может решить, будет ли этот участник присутствовать во время выполнения, или он только что сделал опечатку. Кроме того, в автозаполнении появляются известные ученики.