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

public class PostconditionBug {

  void a(@UnknownInitialization PostconditionBug this) {
    @NonNull String f = "abc";
    // :: error: (assignment)
    f = null;
  }
}