pub struct ClosureArgs {
pub item: ItemRef,
pub kind: ClosureKind,
pub fn_sig: PolyFnSig,
pub upvar_tys: Vec<Ty>,
}Expand description
Reflects [ty::ClosureArgs]
Fields§
§item: ItemRef§kind: ClosureKindThe base kind of this closure. The kinds are ordered by inclusion: any Fn works as an
FnMut, and any FnMut works as an FnOnce.
fn_sig: PolyFnSigThe signature of the function that the closure implements, e.g. fn(A, B, C) -> D.
upvar_tys: Vec<Ty>The set of captured variables. Together they form the state of the closure.
Implementations§
Source§impl ClosureArgs
impl ClosureArgs
Sourcepub fn iter_upvar_borrows(&self) -> impl Iterator<Item = &Ty>
pub fn iter_upvar_borrows(&self) -> impl Iterator<Item = &Ty>
Iterate over the upvars that are borrows with erased regions. These may require allocating fresh regions.
Source§impl ClosureArgs
impl ClosureArgs
pub fn sfrom<'tcx, S>(s: &S, def_id: RDefId, from: GenericArgsRef<'tcx>) -> Selfwhere
S: UnderOwnerState<'tcx>,
Trait Implementations§
Source§impl Clone for ClosureArgs
impl Clone for ClosureArgs
Source§fn clone(&self) -> ClosureArgs
fn clone(&self) -> ClosureArgs
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ClosureArgs
impl Debug for ClosureArgs
Source§impl Hash for ClosureArgs
impl Hash for ClosureArgs
Source§impl PartialEq for ClosureArgs
impl PartialEq for ClosureArgs
impl Eq for ClosureArgs
impl StructuralPartialEq for ClosureArgs
Auto Trait Implementations§
impl Freeze for ClosureArgs
impl RefUnwindSafe for ClosureArgs
impl Send for ClosureArgs
impl Sync for ClosureArgs
impl Unpin for ClosureArgs
impl UnwindSafe for ClosureArgs
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,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more