pub 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 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 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 start_diagnostics(&self) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>

source

fn notify(&self, err: &mut Diagnostic)

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

source

fn suggest(&self, err: &mut Diagnostic)

source

fn suggest_adding_args(&self, err: &mut Diagnostic)

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 Diagnostic)

source

fn suggest_adding_type_and_const_args(&self, err: &mut Diagnostic)

source

fn suggest_moving_args_from_assoc_fn_to_trait(&self, err: &mut Diagnostic)

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 Diagnostic, 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 Diagnostic, 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 Diagnostic)

Suggests to remove redundant argument(s):

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

fn show_definition(&self, err: &mut Diagnostic)

Builds the type defined here message.

source

fn note_synth_provided(&self, err: &mut Diagnostic)

Add note if impl Trait is explicitly specified.

Trait Implementations§

Auto Trait Implementations§

§

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> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere 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, U> TryFrom<U> for Twhere U: Into<T>,

§

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 Twhere U: TryFrom<T>,

§

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.

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