Vampire
08/21/2026, 5:11 PM@CompileDynamic over @TypeChecked(SKIP)?
From what I tested, @TypeChecked(SKIP) implies @CompileDynamic but not the other way around.
So if the code in general is caused to be type-checked due to @TypeChecked or a compiler config script doing it, you can only use @TypeChecked(SKIP) to not type-check some code.
If the cause for type-checking is @CompileStatic or a compiler config script doing it, then both can be used.
So I really wonder when I ever would want to use @CompileDynamic.