Fix position of marker for dereference of nullable errors

Author: TonyxSun

checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java

@@ -271,7 +271,8 @@ public Void visitMemberSelect(MemberSelectTree tree, Void p) {
                 || tree.getExpression().getKind() == Tree.Kind.PARAMETERIZED_TYPE
                 // case 8. static member access
                 || ElementUtils.isStatic(e))) {
-            checkForNullability(tree.getExpression(), DEREFERENCE_OF_NULLABLE);
+            AnnotatedTypeMirror type = atypeFactory.getAnnotatedType(tree.getExpression());
+            checkForNullability(type, tree.getExpression(), DEREFERENCE_OF_NULLABLE);
         }
 
         return super.visitMemberSelect(tree, p);
@@ -743,7 +744,8 @@ public Void visitForLoop(ForLoopTree tree, Void p) {
     public Void visitNewClass(NewClassTree tree, Void p) {
         ExpressionTree enclosingExpr = tree.getEnclosingExpression();
         if (enclosingExpr != null) {
-            checkForNullability(enclosingExpr, DEREFERENCE_OF_NULLABLE);
+            AnnotatedTypeMirror type = atypeFactory.getAnnotatedType(enclosingExpr);
+            checkForNullability(type, enclosingExpr, DEREFERENCE_OF_NULLABLE);
         }
         AnnotatedDeclaredType type = atypeFactory.getAnnotatedType(tree);
         ExpressionTree identifier = tree.getIdentifier();

docs/manual/contributors.tex

@@ -136,4 +136,5 @@
 Vlastimil Dort,
 Weitian Xing,
 Werner Dietl,
+Wuyue (Tony) Sun,
 Zhiping Cai.