0

I'm reading Rust's RFC 0401 and see this:

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)).

It this up-to-date information? If so, what is this useful for?

Community
  • 1
  • 1
盛安安
  • 1,110
  • 1
  • 8
  • 21

1 Answers1

0

They are used to turn a struct/tuple with sized "tail" into an unsized one.

Shepmaster
  • 388,571
  • 95
  • 1,107
  • 1,366
盛安安
  • 1,110
  • 1
  • 8
  • 21