Skip to content

Commit a11cfc6

Browse files
committed
Rename hir::GenericArgs::{num,has}_generic_params to *_generic_args
1 parent 8769c88 commit a11cfc6

4 files changed

Lines changed: 10 additions & 10 deletions

File tree

compiler/rustc_hir/src/hir.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -700,12 +700,12 @@ impl<'hir> GenericArgs<'hir> {
700700
}
701701

702702
#[inline]
703-
pub fn num_lifetime_params(&self) -> usize {
703+
pub fn num_lifetime_args(&self) -> usize {
704704
self.args.iter().filter(|arg| matches!(arg, GenericArg::Lifetime(_))).count()
705705
}
706706

707707
#[inline]
708-
pub fn has_lifetime_params(&self) -> bool {
708+
pub fn has_lifetime_args(&self) -> bool {
709709
self.args.iter().any(|arg| matches!(arg, GenericArg::Lifetime(_)))
710710
}
711711

compiler/rustc_hir_analysis/src/errors/wrong_number_of_generic_args.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,7 @@ impl<'a, 'tcx> WrongNumberOfGenericArgs<'a, 'tcx> {
180180
AngleBrackets::Missing => 0,
181181
// Only lifetime arguments can be implied
182182
AngleBrackets::Implied => self.gen_args.args.len(),
183-
AngleBrackets::Available => self.gen_args.num_lifetime_params(),
183+
AngleBrackets::Available => self.gen_args.num_lifetime_args(),
184184
}
185185
}
186186

compiler/rustc_hir_analysis/src/hir_ty_lowering/generics.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -422,7 +422,7 @@ pub(crate) fn check_generic_arg_count(
422422
let named_type_param_count = param_counts.types - has_self as usize - synth_type_param_count;
423423
let named_const_param_count = param_counts.consts;
424424
let infer_lifetimes =
425-
(gen_pos != GenericArgPosition::Type || seg.infer_args) && !gen_args.has_lifetime_params();
425+
(gen_pos != GenericArgPosition::Type || seg.infer_args) && !gen_args.has_lifetime_args();
426426

427427
if gen_pos != GenericArgPosition::Type
428428
&& let Some(c) = gen_args.constraints.first()
@@ -472,7 +472,7 @@ pub(crate) fn check_generic_arg_count(
472472

473473
let min_expected_lifetime_args = if infer_lifetimes { 0 } else { param_counts.lifetimes };
474474
let max_expected_lifetime_args = param_counts.lifetimes;
475-
let num_provided_lifetime_args = gen_args.num_lifetime_params();
475+
let num_provided_lifetime_args = gen_args.num_lifetime_args();
476476

477477
let lifetimes_correct = check_lifetime_args(
478478
min_expected_lifetime_args,
@@ -596,7 +596,7 @@ pub(crate) fn check_generic_arg_count(
596596
- default_counts.consts
597597
};
598598
debug!(?expected_min);
599-
debug!(arg_counts.lifetimes=?gen_args.num_lifetime_params());
599+
debug!(arg_counts.lifetimes=?gen_args.num_lifetime_args());
600600

601601
let provided = gen_args.num_generic_params();
602602

@@ -606,7 +606,7 @@ pub(crate) fn check_generic_arg_count(
606606
named_const_param_count + named_type_param_count + synth_type_param_count,
607607
provided,
608608
param_counts.lifetimes + has_self as usize,
609-
gen_args.num_lifetime_params(),
609+
gen_args.num_lifetime_args(),
610610
)
611611
};
612612

@@ -640,15 +640,15 @@ pub(crate) fn prohibit_explicit_late_bound_lifetimes(
640640
let param_counts = def.own_counts();
641641

642642
if let Some(span_late) = def.has_late_bound_regions
643-
&& args.has_lifetime_params()
643+
&& args.has_lifetime_args()
644644
{
645645
let msg = "cannot specify lifetime arguments explicitly \
646646
if late bound lifetime parameters are present";
647647
let note = "the late bound lifetime parameter is introduced here";
648648
let span = args.args[0].span();
649649

650650
if position == GenericArgPosition::Value(IsMethodCall::No)
651-
&& args.num_lifetime_params() != param_counts.lifetimes
651+
&& args.num_lifetime_args() != param_counts.lifetimes
652652
{
653653
struct_span_code_err!(cx.dcx(), span, E0794, "{}", msg)
654654
.with_span_note(span_late, note)

compiler/rustc_trait_selection/src/error_reporting/infer/need_type_info.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1411,7 +1411,7 @@ impl<'a, 'tcx> Visitor<'tcx> for FindInferSourceVisitor<'a, 'tcx> {
14111411
&& let Some(idx) =
14121412
argument_index.checked_sub(generics.own_counts().lifetimes)
14131413
&& let Some(arg) =
1414-
hir_args.args.get(hir_args.num_lifetime_params() + idx) =>
1414+
hir_args.args.get(hir_args.num_lifetime_args() + idx) =>
14151415
{
14161416
arg.span()
14171417
}

0 commit comments

Comments
 (0)