pub(crate) struct WrongNumberOfGenericArgs<'a, 'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) angle_brackets: AngleBrackets,
    pub(crate) gen_args_info: GenericArgsInfo,
    pub(crate) path_segment: &'a PathSegment<'a>,
    pub(crate) gen_params: &'a Generics,
    pub(crate) params_offset: usize,
    pub(crate) gen_args: &'a GenericArgs<'a>,
    pub(crate) def_id: DefId,
}
Expand description

Handles the wrong number of type / lifetime / ... arguments family of error messages.

Fields§

§tcx: TyCtxt<'tcx>§angle_brackets: AngleBrackets§gen_args_info: GenericArgsInfo§path_segment: &'a PathSegment<'a>

Offending path segment

§gen_params: &'a Generics

Generic parameters as expected by type or trait

§params_offset: usize

Index offset into parameters. Depends on whether Self is included and on number of lifetime parameters in case we’re processing missing or redundant type or constant arguments.

§gen_args: &'a GenericArgs<'a>

Generic arguments as provided by user

§def_id: DefId

DefId of the generic type

Implementations§

source§

impl<'a, 'tcx> WrongNumberOfGenericArgs<'a, 'tcx>

source

pub(crate) fn new( tcx: TyCtxt<'tcx>, gen_args_info: GenericArgsInfo, path_segment: &'a PathSegment<'_>, gen_params: &'a Generics, params_offset: usize, gen_args: &'a GenericArgs<'a>, def_id: DefId, ) -> Self

source

fn missing_lifetimes(&self) -> bool

source

fn kind(&self) -> &str

source

fn is_in_trait_impl(&self) -> bool

Returns true if the generic type is a trait and is being referred to from one of its trait impls

source

fn num_provided_args(&self) -> usize

source

fn num_provided_lifetime_args(&self) -> usize

source

fn num_provided_type_or_const_args(&self) -> usize

source

fn num_expected_lifetime_args(&self) -> usize

source

fn num_expected_type_or_const_args(&self) -> usize

source

fn num_expected_type_or_const_args_including_defaults(&self) -> usize

source

fn num_missing_lifetime_args(&self) -> usize

source

fn num_missing_type_or_const_args(&self) -> usize

source

fn num_excess_lifetime_args(&self) -> usize

source

fn num_excess_type_or_const_args(&self) -> usize

source

fn too_many_args_provided(&self) -> bool

source

fn not_enough_args_provided(&self) -> bool

source

fn get_lifetime_args_offset(&self) -> usize

source

fn get_num_default_params(&self) -> usize

source

fn is_synth_provided(&self) -> bool

source

fn get_quantifier_and_bound(&self) -> (&'static str, usize)

source

fn get_lifetime_args_suggestions_from_param_names( &self, path_hir_id: HirId, num_params_to_take: usize, ) -> String

source

fn get_type_or_const_args_suggestions_from_param_names( &self, num_params_to_take: usize, ) -> String

source

fn get_unbound_associated_types(&self) -> Vec<String>

source

fn create_error_message(&self) -> String

source

fn notify(&self, err: &mut Diag<'_, impl EmissionGuarantee>)

Builds the expected 1 type argument / supplied 2 type arguments message.

source

fn suggest(&self, err: &mut Diag<'_, impl EmissionGuarantee>)

source

fn suggest_adding_args(&self, err: &mut Diag<'_, impl EmissionGuarantee>)

Suggests to add missing argument(s) when current invocation site already contains some generics:

type Map = HashMap<String>;
source

fn suggest_adding_lifetime_args( &self, err: &mut Diag<'_, impl EmissionGuarantee>, )

source

fn suggest_adding_type_and_const_args( &self, err: &mut Diag<'_, impl EmissionGuarantee>, )

source

fn suggest_moving_args_from_assoc_fn_to_trait( &self, err: &mut Diag<'_, impl EmissionGuarantee>, )

Suggests moving redundant argument(s) of an associate function to the trait it belongs to.

Into::into::<Option<_>>(42) // suggests considering `Into::<Option<_>>::into(42)`
source

fn suggest_moving_args_from_assoc_fn_to_trait_for_qualified_path( &self, err: &mut Diag<'_, impl EmissionGuarantee>, qpath: &'tcx QPath<'tcx>, msg: String, num_assoc_fn_excess_args: usize, num_trait_generics_except_self: usize, )

source

fn suggest_moving_args_from_assoc_fn_to_trait_for_method_call( &self, err: &mut Diag<'_, impl EmissionGuarantee>, trait_def_id: DefId, expr: &'tcx Expr<'tcx>, msg: String, num_assoc_fn_excess_args: usize, num_trait_generics_except_self: usize, )

source

fn suggest_removing_args_or_generics( &self, err: &mut Diag<'_, impl EmissionGuarantee>, )

Suggests to remove redundant argument(s):

type Map = HashMap<String, String, String, String>;
source

fn show_definition(&self, err: &mut Diag<'_, impl EmissionGuarantee>)

Builds the type defined here message.

source

fn note_synth_provided(&self, err: &mut Diag<'_, impl EmissionGuarantee>)

Add note if impl Trait is explicitly specified.

Trait Implementations§

source§

impl<'a, G: EmissionGuarantee> Diagnostic<'a, G> for WrongNumberOfGenericArgs<'_, '_>

source§

fn into_diag(self, dcx: DiagCtxtHandle<'a>, level: Level) -> Diag<'a, G>

Write out as a diagnostic out of DiagCtxt.

Auto Trait Implementations§

§

impl<'a, 'tcx> Freeze for WrongNumberOfGenericArgs<'a, 'tcx>

§

impl<'a, 'tcx> !RefUnwindSafe for WrongNumberOfGenericArgs<'a, 'tcx>

§

impl<'a, 'tcx> !Send for WrongNumberOfGenericArgs<'a, 'tcx>

§

impl<'a, 'tcx> !Sync for WrongNumberOfGenericArgs<'a, 'tcx>

§

impl<'a, 'tcx> Unpin for WrongNumberOfGenericArgs<'a, 'tcx>

§

impl<'a, 'tcx> !UnwindSafe for WrongNumberOfGenericArgs<'a, 'tcx>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

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 more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

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: 88 bytes