package java.lang;

import testchecker.quals.*;

public final class Object {
    public Class<@H1S1 ? extends @H1S1 Object> getClass();
    @SuppressWarnings("") // Used to cause crash.
    public boolean equals(Object o);
}

class String {
    public static String format(String format, @H1S1 Object @H1S2... args);
}
