| import java.util.function.Function; |
| import org.checkerframework.checker.nullness.qual.Nullable; |
| |
| public class Issue1847B { |
| public void test1() { |
| // :: error: (dereference.of.nullable) |
| Function<@Nullable String, String> f1 = (@Nullable String myVar) -> myVar.toString(); |
| { |
| String myVar = "hello"; |
| } |
| // :: error: (dereference.of.nullable) |
| Function<@Nullable String, String> f2 = (@Nullable String myVar) -> myVar.toString(); |
| } |
| |
| public void test2() { |
| // :: error: (dereference.of.nullable) |
| Function<String, String> f1 = (@Nullable String myVar) -> myVar.toString(); |
| } |
| } |