Grisharper Compiler Plugin API

error method asks is like wraps the compiler APIs with a functional DSL. Based on that annotation provides a certain level of analysis and there's so I've got two questions one of them is what about annotations outside of the standard library? The second one is where do you draw the line between is this kind of like an enhancement on the static analysis that an IDE could potentially provide or as part of a linter or build tool etc.