> generic
>   a is lifetime;
>   T is type with lifetime a;
>   P is mutation function(ref of T) return bool;
> implementation Split<lifetime a, T, P> begin
>   public(super) function new(slice: ref<lifetime a> of slice of T; pred: P) return Self;
>   begin
>     return Self { v: slice, pred, finished: false }
>   end;
> end;

для не знающих раст наверное стало понятней (и то не факт), а вот для повседнева стало нагромождённей и многословней для печати

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

> impl<'a, T 'a, P FnMut(&T)bool> Split<'a, T, P> {
>     pub super func new(slice &'a [T], pred P) Self {
>         Self { v: slice, pred: pred, finished: false }
>     }
>   ...
> }

Почему параметры шаблона повторяются многократно?

> impl Split<'a, T 'a, P func(&T)bool> {
>     pub super func new(slice &'a [T], pred P) Self {
>         Self { v: slice, pred: pred, finished: false }
>     }
>   ...
> }

Явное указание времени жизни - какой-то отдельный Rust-оманский ад. Получается, ссылка на массив T, а следовательно и сам массив не может неявно увеличивать время жизни самих вложенных T? Или объект Slice не ссылается явно на массив через 'v' увеличивая время его жизни? Какую проблему решает здесь введение 'a? Почему вот такой код не должен работать:

> impl Split<T, P func(&T)bool> {
>     pub super func new(slice &[T], pred P) Self {
>         Self { v: slice, pred: pred, finished: false }
>     }
>   ...
> }

Что значит mutable function в Rust? Что код функции будет меняться, патчится на лету (запись в секцию .text или что)? Или аргумент переданный в new(pred) в будущем каким-то образом изменится и повлияет на значение Split.pred? Или mutable относится к данным, передаваемым в функцию? Обыграли модификатор const, чтоб не как у всех, но сделали это максимально неубедительно.

Откуда взялась эта мантра и зачем её распространять? Ищите и обрящете.

System V Application Binary Interface
AMD64 Architecture Processor Supplement

Chapter 9
Conventions

9.1 C++

For the C++ ABI we will use the IA-64 C++ ABI and instantiate it appropriately.
The current draft of that ABI is available at:
http://www.codesourcery.com/cxx-abi/