I'd like a @debug annotation that would produce an analysis warning anywhere the annotated API was referred to. This would be useful for APIs that are only intended to aid in debugging but should never appear in production code—for example, this debug() method that prints the current location in the document being parsed.