checker/tests/nullness/FinalVar3.java

import org.checkerframework.checker.nullness.qual.*;

public class FinalVar3 {

  static Object method1(@Nullable Object arg) {
    final Object tmp = arg;
    if (tmp == null) {
      return "hello";
    }
    // The type of the final variable is correctly refined.
    tmp.hashCode();
    return "bye";
  }
}