pub struct InferenceDiagnosticsData {
pub name: String,
pub span: Option<Span>,
pub kind: UnderspecifiedArgKind,
pub parent: Option<InferenceDiagnosticsParentData>,
}
Expand description
Information about a constant or a type containing inference variables.
Fields§
§name: String
§span: Option<Span>
§kind: UnderspecifiedArgKind
§parent: Option<InferenceDiagnosticsParentData>
Implementations§
source§impl InferenceDiagnosticsData
impl InferenceDiagnosticsData
fn can_add_more_info(&self) -> bool
fn where_x_is_kind(&self, in_type: Ty<'_>) -> &'static str
sourcefn make_bad_error(&self, span: Span) -> InferenceBadError<'_>
fn make_bad_error(&self, span: Span) -> InferenceBadError<'_>
Generate a label for a generic argument which can’t be inferred. When not
much is known about the argument, use_diag
may be used to describe the
labeled value.
Auto Trait Implementations§
impl Freeze for InferenceDiagnosticsData
impl RefUnwindSafe for InferenceDiagnosticsData
impl !Send for InferenceDiagnosticsData
impl !Sync for InferenceDiagnosticsData
impl Unpin for InferenceDiagnosticsData
impl UnwindSafe for InferenceDiagnosticsData
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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
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<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> 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>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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: 104 bytes