Является ли S extends ArrayList of S полезной конструкцией языка или просто побочным эффектом грамматики?

Можно ли добавить к этому s1 что-нибудь кроме нуля? (и быть безопасно назначенным для temp )

Is

<S extends ArrayList<S>>

полезная конструкция в языке или просто побочный эффект грамматики? Правильно ли я интерпретирую S как ArrayList, который может содержать только объекты, которые являются ArrayLists из ArrayLists из ArrayLists и т. д.?

public class Foo{
    public static <S extends ArrayList<S>> void f1() {
        S s1 = (S) new ArrayList<S>();

        // s1.add( ???? );  // can anything be added here other than null?
        S temp = s1.get(0);
    }
}