У Романа Марусика был правильный ответ, хотя я хочу уточнить, что мне нужно было сделать, чтобы он работал в моей установке.
По сути, аннотации JetBrains скрыты из-за того, что флаг условной компиляции не включен по умолчанию
[Conditional("JETBRAINS_ANNOTATIONS")]
public sealed class NotNullAttribute : Attribute
Я включил его, добавив JETBRAINS_ANNOTATIONS
в свой список символов компиляции и начал видеть атрибуты. Получив это, я смог применить схему логики c Романа Марусика.