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>