struct TupledArgCheckOutcome<'tcx> {
new_err_code: Option<ErrCode>,
untupled_formal_input_tys: Vec<Ty<'tcx>>,
untupled_expected_input_tys: Option<Vec<Ty<'tcx>>>,
}Expand description
Outcome of checking arguments that are tupled by “rust-call” or #[splat].
Fields§
§new_err_code: Option<ErrCode>The error code to emit if the arguments are not compatible.
untupled_formal_input_tys: Vec<Ty<'tcx>>The formal input types after checking.
untupled_expected_input_tys: Option<Vec<Ty<'tcx>>>The expected input types after checking.
Trait Implementations§
Source§impl<'tcx> Clone for TupledArgCheckOutcome<'tcx>
impl<'tcx> Clone for TupledArgCheckOutcome<'tcx>
Source§fn clone(&self) -> TupledArgCheckOutcome<'tcx>
fn clone(&self) -> TupledArgCheckOutcome<'tcx>
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 moreSource§impl<'tcx> Debug for TupledArgCheckOutcome<'tcx>
impl<'tcx> Debug for TupledArgCheckOutcome<'tcx>
impl<'tcx> Eq for TupledArgCheckOutcome<'tcx>
Source§impl<'tcx> PartialEq for TupledArgCheckOutcome<'tcx>
impl<'tcx> PartialEq for TupledArgCheckOutcome<'tcx>
Source§fn eq(&self, other: &TupledArgCheckOutcome<'tcx>) -> bool
fn eq(&self, other: &TupledArgCheckOutcome<'tcx>) -> bool
Tests for
self and other values to be equal, and is used by ==.impl<'tcx> StructuralPartialEq for TupledArgCheckOutcome<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for TupledArgCheckOutcome<'tcx>
impl<'tcx> !UnwindSafe for TupledArgCheckOutcome<'tcx>
impl<'tcx> DynSend for TupledArgCheckOutcome<'tcx>
impl<'tcx> DynSync for TupledArgCheckOutcome<'tcx>
impl<'tcx> Freeze for TupledArgCheckOutcome<'tcx>
impl<'tcx> Send for TupledArgCheckOutcome<'tcx>
impl<'tcx> Sync for TupledArgCheckOutcome<'tcx>
impl<'tcx> Unpin for TupledArgCheckOutcome<'tcx>
impl<'tcx> UnsafeUnpin for TupledArgCheckOutcome<'tcx>
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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
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§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.impl<T> ErasedDestructor for Twhere
T: 'static,
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 moreSource§impl<K> IntoQueryKey<K> for K
impl<K> IntoQueryKey<K> for K
Source§fn into_query_key(self) -> K
fn into_query_key(self) -> K
Argument conversion from
Self to K.
This should always be a very cheap conversion, e.g. LocalDefId::to_def_id.Source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 56 bytes