agrieve
agrieve
Also note that changing the final `}]` to a `},]` fixes the formatting
Is there a way to apply this fix when using a ParameterizedRobolectricTestRunner? The class is final, so we can't override that method on it.
In our case, it turned out to be straight-forward to just not use the shadows, so we are no long hampered by this.
Is ASAN still not supported? I just burned a good amount of time on this, because: [This page](https://source.android.com/docs/security/test/asan) suggests that it is supported, except for arm64 platform development (I'm using...
I haven't personally hit it since reporting it.
Another example: ``` @Contract("!null -> !null") public static @Nullable String bar(@Nullable String value) { if (value == null) return null; // warns about this return value; } ```
This is the first time so far, I reported it because I thought it was kind of fun :). I figure this is only worth supporting if there's an easy...
Progress! Just ran into another bug that I think is an instance of this: ```java @NullMarked class Foo { interface Callback { void onResult(T result); } public void main() {...
Ah, I thought that would be "check this returns false if the parameter is null", but not "returning false implies this is null". E.g. in my example it returns false...
Just tried it out, and it does seem to be working! So indeed, I guess this is just a request to have: ``` @EnsuresNonNull("#1") ``` be an alias for: ```...