Что такое coerce_inner для RFC 401?

Question

Читает Руст RFC 0401 и увидеть это:

coerce_inner (Foo<..., T, ...>) = Foo<..., coerce_inner(T), ...> где Foo является структурой и только последним поле имеет типа T и T не является частью типа любых других областей; ((..., T)) (..., coerce_inner(T)).

Это актуальная информация? Если да, для чего это полезно?

Answer 1

Они используются для превращения структуры/кортежа с размером «хвост» в нестандартный.