checker/tests/nullness/SelfAssignment.java

// Test case for issue #231

import org.checkerframework.checker.nullness.qual.EnsuresNonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public class SelfAssignment {

  void test(@Nullable String s) {
    assertNonNull(s);
    s = s.trim();
  }

  @EnsuresNonNull("#1")
  void assertNonNull(final @Nullable Object o) {
    if (o == null) {
      throw new AssertionError();
    }
  }
}