For example:
- // BUG: Diagnostic contains: Method violates has @Contract(-> !null), but this appears to be violated, as a @Nullable value may be returned when the contract preconditions are true.
+ // BUG: Diagnostic contains: Method violates has @Contract(-> !null), but this appears to be
+ // violated, as a @Nullable value may be returned when the contract preconditions are true.
This changes what gets asserted by the test, making it risky to apply the suggested fix.
For example:
This changes what gets asserted by the test, making it risky to apply the suggested fix.