pub(crate) fn check_generic_arg_count(
    tcx: TyCtxt<'_>,
    def_id: DefId,
    seg: &PathSegment<'_>,
    gen_params: &Generics,
    gen_pos: GenericArgPosition,
    has_self: bool
) -> GenericArgCountResult
Expand description

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