"You don't off an example of a tech stack you do favor so one can only guess."

I think annotations are used many times in Java where abstractions like first class functions would be used in other languages.

I also find Lisp macros easier to reason about. "This compile time source code expands to this run time source code, which executes like so."

Perhaps surprisingly, I even find Ruby magic easier to reason about. "This method causes these three other methods to be defined to do x, y, z." It can get confusing, and final behavior highly dependent on the order in which the code executes, but I still feel like I have a mental model of how everything executes.

With annotations, depends on the code processing the annotations. You could have different code doing different thing with the exact same annotations. Your IDE can take you to the annotation declaration, but not directly to the code the annotation causes to execute. In the debugger, you can see the code in the call stack that was generated, but no link back to what annotation caused it to be generated.

It all just feels more like memorizing spells at Hogwarts, and less like an engineering process.