agrieve
agrieve
Syntax of 2d arrays is tricky, so I might be holding it wrong... ```java import org.jspecify.annotations.Nullable; import org.jspecify.annotations.NullMarked; import static org.chromium.build.NullUtil.assumeNonNull; @NullMarked class Foo { // nullable array of non-null...
```java void method(@NonNull Object a, @Nullable Object b) { if (Objects.equals(a, b)) { // b must be non-null here. } } ``` I think the contract for this is: ```...
Similar to bug #431 The [checkerframework version of this annotation](https://checkerframework.org/api/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.html) shows the syntax for this as: ```java @EnsuresNonNullIf("#1") public boolean equals(@Nullable Object obj) { ... } ``` Not sure if...
This stack comes up in failing chrome tests from time to time: ``` C 11:28:54.816 87.729s Main java.lang.AssertionError: Class was initialized on the UI thread, but current operation was performed...
``` import org.chromium.build.annotations.NullMarked; import org.chromium.build.annotations.Nullable; @NullMarked class Foo { interface Func { RetT apply(ParamT p); } public static RetT run(Func func) { return func.apply(""); } static void repro() { run(s...
It's not safe in general to convert nullness of generic types, but I believe it is safe in one specific (and common) scenario: When the generic type is used only...
A variant of #1290: ``` @NullMarked class Foo { interface Callback { void onResult(T thing); } void receiver(Callback value) { } void target(@Nullable Object thing) { } public Callback makeCancelable(Callback...
E.g.: ``` warning: [NullAway] passing known @NonNull parameter 'tabGroupModelFilter' to CastToNonNullMethod (org.chromium.build.NullUtil.assumeNonNull) at position 0. This method argument should only take values that NullAway considers @Nullable at the invocation site,...