Dhruv Agrawal issues

Repositories
Issues
Comments

Results 1 issues of


                                            Dhruv Agrawal

No error reported if receiver type argument is NonNull while method return type parameter is Nullable

``` @NullMarked class Test { private static class Inner { Inner identity() { return this; } } Inner mThing = new Inner(); void foo() { mThing = mThing.identity(); } }...

jspecify

false negative