, более принципиальный решатель для типов проблем, которые создает сложная система типов.

фрагмент действителен в Rust 1.26.1: use std::ops::AddAssign; trait Trait where for<'a> Self: AddAssign<Self> + AddAssign<&'a Self> + Sized, { } trait Trait2 { type Associated: Trait; fn method(u32) -> Self::Associated; } fn func<T2: Trait2>() { ...

Свист. Путь над моей головой. Думаю, мне придется посмотреть это видео WWDC.

отрим этот код:

Невозможно использовать протокол как связанный тип в другом протоколе в Swift

Не удается создать массив типов, соответствующих протоколу в Swift

@Shepmaster ваш комментарий был искрой, но вся эта тема была чрезвычайно полезна.

я есть этот источник: pub fn draw<G, C>(&self, font: &mut C, draw_state: &DrawState, transform: Matrix2d, g: &mut G) where C: CharacterCache, G: Graphics<Texture = <C as CharacterCache>::Texture>, { self.properties.draw( self.text.as_str(), ...

Решение работает и / или лучше как универсальный "UIViewController auto-instantiator", но это ответ на вопрос как таковой.