rust - RFC 401 的 coerce_inner 有什么用？

Question

我正在阅读 Rust 的 RFC 0401看看这个:

coerce_inner(Foo<..., T, ...>) = Foo<..., coerce_inner(T), ...> where Foo is a struct and only the last field has type T and T is not part of the type of any other fields;

coerce_inner((..., T)) = (..., coerce_inner(T)).

这是最新信息吗？如果是，这有什么用？

Answer 1

它们用于将具有大小“尾部”的结构/元组转换为未大小的结构/元组。