История изменений
Исправление www_linux_org_ru, (текущая версия) :
You cannot use generic types/default type parameters to get at the second meaning, because the point is that the function's code produces a single, concrete return type of its choosing.
очень интересно, если так; я-то надеялся, что функция в расте может возвращать неизвестный тип
а дальше? и в коллекцию (массив, вектор, очередь,...) неизвестный тип (или указатель на него) тоже не положить? (т.е. тип, у которого известен только impl Trait, и этот impl Trait один и тот же на всю коллекцию)
Исправление www_linux_org_ru, :
You cannot use generic types/default type parameters to get at the second meaning, because the point is that the function's code produces a single, concrete return type of its choosing.
очень интересно, если так; я-то надеялся, что функция в расте может возвращать неизвестный тип
и что, и в коллекцию (массив, вектор, очередь,...) неизвестный тип (или указатель на него) тоже не положить? (т.е. тип, у которого известен только impl Trait, и этот impl Trait один и тот же на всю коллекцию)
Исходная версия www_linux_org_ru, :
You cannot use generic types/default type parameters to get at the second meaning, because the point is that the function's code produces a single, concrete return type of its choosing.
очень интересно, если так; я-то надеялся, что функция в расте может возвращать неизвестный тип
и что, и в коллекцию (массив, вектор, очередь,...) неизвестный тип (или указатель на него) тоже не положить? (т.е. тип, у которого известен только интерфейс, и этот интерфейс один и тот же на всю коллекцию)