Although we plan to introduce support for nullability constraints in version 4, fail methods could already benefit from a custom @Contract annotation when inspected by tools that perform data flow analysis like NullAway.

Originally discussed at uber/NullAway#1222 (comment).

CC @jonatan-ivanov

References

• JetBrains @Contract
• JUnit @Contract and AssertionUtils
• Spring @Contract