pub enum GenericArg {
Lifetime(Lifetime),
Type(Box<TypeRef>),
}Expand description
One generic argument of a Named type, as written.
A lifetime is kept rather than dropped: no destination language acts on it,
but Foo<'a> is not Foo, and a model that cannot say which one the source
wrote cannot claim to have lost nothing.
Variants§
Lifetime(Lifetime)
Type(Box<TypeRef>)
Boxed so a lifetime argument — the common one, and a fraction of the
size — does not pay for a type it is not. The same trade-off
Array’s extent makes.
Trait Implementations§
Source§impl Clone for GenericArg
impl Clone for GenericArg
Source§fn clone(&self) -> GenericArg
fn clone(&self) -> GenericArg
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl !Send for GenericArg
impl !Sync for GenericArg
impl Freeze for GenericArg
impl RefUnwindSafe for GenericArg
impl Unpin for GenericArg
impl UnsafeUnpin for GenericArg
impl UnwindSafe for GenericArg
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more