Difference between @TypeChecked and @CompileStatic

Question

Can someone explain the difference between @TypeChecked and @CompileStatic?

I read that with @TypeChecked it is not possible to add new methods at runtime. What oth

Answer 1

tl/dr;

• @TypeChecked just checks types during compiling, but compiled code behaves same as without @TypeChecked
• @CompileStatic checks similar to @TypeChecked, but also modifies the code to be type-safe at runtime, meaning methods using dynamic programming will break.