Является ли приведение из подстановочного знака к определенному универсальному параметризованному типу примером преобразования захвата в Java?

Для следующего кода, который компилируется без ошибок и выполняется без исключений:

public class Main
{
    public static void main(String[] args) {
        List<?> unbounded = new ArrayList<String>();

        List<String> strList = (List<String>) unbounded;    // Is this a capture conversion?
        List<Integer> intList = (List<Integer>) unbounded;  // Is this a capture conversion?
    }
}

Является ли приведенный выше фрагмент кода примером работы Capture Conversion в Java?

Согласно JLS,

Существует преобразование захвата из параметризованного типа G‹T1,...,Tn› (§4.5) в параметризованный тип G‹S1,...,Sn›, где для 1 ≤ i ≤ n:

• Если Ti является аргументом типа подстановки (§4.5.1) формы ?, то Si является переменной нового типа, верхняя граница которой равна Ui[A1:=S1,...,An:=Sn], а нижняя граница равна нулевой тип (§4.1).

Я понимаю приведенное выше утверждение следующим образом: если подстановочный знак имеет форму '?', существует преобразование захвата из G‹T› в G‹S›, пока 'S' находится в пределах Object< /strong>(верхняя граница) и null(нижняя граница).