Module generics 

Re-exports

use rustc_ast::ast::ParamKindOrd; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::Diag; 🔒

use rustc_errors::DiagCtxtHandle; 🔒

use rustc_errors::Diagnostic; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_errors::Level; 🔒

use rustc_errors::MultiSpan; 🔒

use rustc_errors::struct_span_code_err; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::GenericArg; 🔒

use rustc_lint_defs::builtin::LATE_BOUND_LIFETIME_ARGUMENTS; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::GenericParamDef; 🔒

use rustc_middle::ty::GenericParamDefKind; 🔒

use rustc_middle::ty::IsSuggestable; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_span::kw; 🔒

use rustc_trait_selection::traits; 🔒

use smallvec::SmallVec; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::HirTyLowerer; 🔒

use super::IsMethodCall; 🔒

use crate::diagnostics::wrong_number_of_generic_args::GenericArgsInfo; 🔒

use crate::diagnostics::wrong_number_of_generic_args::WrongNumberOfGenericArgs; 🔒

use crate::hir_ty_lowering::errors::prohibit_assoc_item_constraint; 🔒

use crate::hir_ty_lowering::ExplicitLateBound; 🔒

use crate::hir_ty_lowering::GenericArgCountMismatch; 🔒

use crate::hir_ty_lowering::GenericArgCountResult; 🔒

use crate::hir_ty_lowering::GenericArgPosition; 🔒

use crate::hir_ty_lowering::GenericArgsLowerer; 🔒

use rustc_errors::codes::*; 🔒

Functions

check_generic_arg_count 🔒

Checks that the correct number of generic arguments have been provided. This is used both for datatypes and function calls.

check_generic_arg_count_for_value_path

Checks that the correct number of generic arguments have been provided. Used specifically for function calls.

generic_arg_mismatch_err 🔒

Report an error that a generic argument did not match the generic parameter that was expected.

lower_generic_args

Lower generic arguments from the HIR to the rustc_middle::ty representation.

prohibit_explicit_late_bound_lifetimes 🔒

Prohibits explicit lifetime arguments if late-bound lifetime parameters are present. This is used both for datatypes and function calls.