These are core annotations for the whole framework. To avoid recursive checks, they are not annotated with constraints, but supported usage is documented with annotations in doc comments.
See Source File