@TypeChecked(SKIP)

opts out of type checking, and since the type info gathered during checking is what static compilation is built on, it opts out of that too.

@CompileDynamic

means the code needs dynamic dispatch. It would make sense on a method requiring dynamic features but still checkable - type checking could then be toggled at the class level via

@TypeChecked

. If the dynamic features also mean that checking is not possible, then the

SKIP

path shows that intent.