Results 2 issues of Luke

When I try to specify the checker framework version in the dependency block like: ``` dependencies { // ... val checkerFrameworkVersion = "3.25.0" compileOnly("org.checkerframework:checker-qual:$checkerFrameworkVersion") testCompileOnly("org.checkerframework:checker-qual:$checkerFrameworkVersion") implecmentation("org.checkerframework:checker-util:$checkerFrameworkVersion") checkerFramework("org.checkerframework:checker:$checkerFrameworkVersion") // ... }...

Hi, when I try `filter(Objects::nonNull)` to filter out any null value and then use `map` to apply a lambda, the checker framework seems to complain about the incompatible receiver type,...