public class GetConstantStr {
    public static void get_constant_str(Object obj) {
        // :: warning: (known.nonnull)
        assert obj != null;
    }
}