pub struct ReturnReferenceSummary {
pub param_index: usize,
pub kind: BorrowKind,
pub projection: Option<Vec<ProjectionStep>>,
}Fields§
§param_index: usize§kind: BorrowKind§projection: Option<Vec<ProjectionStep>>Exact projection chain when every successful return path agrees on it.
None means “same parameter root, but projection differs across paths”.
Trait Implementations§
Source§impl Clone for ReturnReferenceSummary
impl Clone for ReturnReferenceSummary
Source§fn clone(&self) -> ReturnReferenceSummary
fn clone(&self) -> ReturnReferenceSummary
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 ReturnReferenceSummary
impl Debug for ReturnReferenceSummary
Source§impl Hash for ReturnReferenceSummary
impl Hash for ReturnReferenceSummary
Source§impl PartialEq for ReturnReferenceSummary
impl PartialEq for ReturnReferenceSummary
impl Eq for ReturnReferenceSummary
impl StructuralPartialEq for ReturnReferenceSummary
Auto Trait Implementations§
impl Freeze for ReturnReferenceSummary
impl RefUnwindSafe for ReturnReferenceSummary
impl Send for ReturnReferenceSummary
impl Sync for ReturnReferenceSummary
impl Unpin for ReturnReferenceSummary
impl UnsafeUnpin for ReturnReferenceSummary
impl UnwindSafe for ReturnReferenceSummary
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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