checker/tests/nullness/ClassGetCanonicalName.java

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

public class ClassGetCanonicalName {
  @NonNull String s = ClassGetCanonicalName.class.getCanonicalName();
}