When the caret is positioned on a parameter declaration for a reference type, we should offer a code fix to add:
Requires.NotNull(p1, nameof(p1));
Similarly, when positioned on an integer/float parameter declaration, we can offer a code fix to add:
Requires.Range(p1 >= 0, nameof(p1));