• EnsuresNonNull
• EnsuresNonNullIf
• Initializer
• MonotonicNonNull
• RequiresNonNull