What is @TypeChecked used for in Groovy?

@TypeChecked enables compile-time type checking on a class or method without necessarily forcing fully static method dispatch the way @CompileStatic does - it catches type errors earlier while Groovy can still use its normal dynamic dispatch at runtime.

It's a middle ground: you get earlier error detection than fully dynamic Groovy, without committing to all the dispatch-level changes and restrictions that come with @CompileStatic.

Because it only affects compile-time checking, not runtime dispatch behavior, it can be a lower-risk first step toward tightening a codebase's type safety before considering the more aggressive @CompileStatic.

Invest now in Acorns!!! 🚀
Join Acorns and get your $5 bonus!

Acorns is a micro-investing app that automatically invests your "spare change" from daily purchases into diversified, expert-built portfolios of ETFs. It is designed for beginners, allowing you to start investing with as little as $5. The service automates saving and investing. Disclosure: I may receive a referral bonus.

Invest now!!! Get Free equity stock (US, UK only)!

Use Robinhood app to invest in stocks. It is safe and secure. Use the Referral link to claim your free stock when you sign up!.

The Robinhood app makes it easy to trade stocks, crypto and more.

Webull! Receive free stock by signing up using the link: Webull signup.