Eiffel: неизвестный идентификатор "курсор" в LINKED_LIST[STRING]

Question

У меня есть unknown identifier на местном like some_values.cursorЯ действительно не понимаю, почему!

qry_update_set_fields (some_keys, some_values, some_unstored_field_names: LINKED_LIST[STRING]): STRING
    require
        same_some_keys_some_values_count: some_keys.count = some_values.count
    local
        l_val_c: like some_values.new_cursor
    do
        Result := ""
        l_val_c := some_values.new_cursor
        across
            some_keys as l_key_c
        loop
            Result := l_key_c.item + "=" + l_val_c.item + ","
            l_val_c.forth
        end
        if Result.ends_with (",") then
            Result.remove_tail (1)
        end
    ensure
        dont_modify_parameters: old some_keys.is_equal (some_keys) and old some_values.is_equal (some_values)
    end

за работой

l_val_c: LINKED_LIST_CURSOR [STRING]

Не работает

l_val_c: LINKED_LIST_CURSOR [like some_values.item]

Answer 1

Пример пытается использовать аргумент в квалифицированном привязанном типе like argument.some_feature, Это не поддерживается Типы, привязанные к аргументам, не являются частью стандартного Eiffel и поддерживаются только для обратной совместимости в форме like argument,