Type Definition escher::Rebind[][src]

type Rebind<'a, T> = <T as RebindTo<'a>>::Out;

Type-level function that takes a lifetime 'a and a type T computes a new type U that is identical to T except for its lifetimes that are now bound to 'a.

A type T must implement Rebindable in order to use this type level function.

For example:

  • Rebind<'a, &'static str> == &'a str
  • Rebind<'static, &'a str> == &'static str
  • Rebind<'c, T<'a, 'b>> == T<'c, 'c>