This kind of checking has a long history, I've seen it first referenced in the 2006 book Java Concurrency in Practice as class annotations and field and method

This kind of checking has a long history, I've seen it first referenced in the 2006 book Java Concurrency in Practice as class annotations and field and method annotations. Clang had similar annotations for years.