Going to close this as "Won't Fix" as the current behavior seems sensible. These constraints really are specializations of @NotNull, hence it makes sense to have the deviation from the common recommendation for them. Note that the constraints may be added to BV 2.0, in which case their exact semantics may be revisited again.