Remove an unused arg from the trait method provided_kind
.
This commit is contained in:
parent
969d9336ca
commit
c2e37d32d5
4 changed files with 1 additions and 5 deletions
|
@ -273,7 +273,7 @@ pub fn lower_generic_args<'tcx: 'a, 'a>(
|
||||||
|
|
||||||
// We lower to an infer even when the feature gate is not enabled
|
// We lower to an infer even when the feature gate is not enabled
|
||||||
// as it is useful for diagnostics to be able to see a `ConstKind::Infer`
|
// as it is useful for diagnostics to be able to see a `ConstKind::Infer`
|
||||||
args.push(ctx.provided_kind(&args, param, arg));
|
args.push(ctx.provided_kind(param, arg));
|
||||||
args_iter.next();
|
args_iter.next();
|
||||||
params.next();
|
params.next();
|
||||||
}
|
}
|
||||||
|
|
|
@ -296,7 +296,6 @@ pub trait GenericArgsLowerer<'a, 'tcx> {
|
||||||
|
|
||||||
fn provided_kind(
|
fn provided_kind(
|
||||||
&mut self,
|
&mut self,
|
||||||
preceding_args: &[ty::GenericArg<'tcx>],
|
|
||||||
param: &ty::GenericParamDef,
|
param: &ty::GenericParamDef,
|
||||||
arg: &GenericArg<'tcx>,
|
arg: &GenericArg<'tcx>,
|
||||||
) -> ty::GenericArg<'tcx>;
|
) -> ty::GenericArg<'tcx>;
|
||||||
|
@ -480,7 +479,6 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
|
||||||
|
|
||||||
fn provided_kind(
|
fn provided_kind(
|
||||||
&mut self,
|
&mut self,
|
||||||
_preceding_args: &[ty::GenericArg<'tcx>],
|
|
||||||
param: &ty::GenericParamDef,
|
param: &ty::GenericParamDef,
|
||||||
arg: &GenericArg<'tcx>,
|
arg: &GenericArg<'tcx>,
|
||||||
) -> ty::GenericArg<'tcx> {
|
) -> ty::GenericArg<'tcx> {
|
||||||
|
|
|
@ -1261,7 +1261,6 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
|
||||||
|
|
||||||
fn provided_kind(
|
fn provided_kind(
|
||||||
&mut self,
|
&mut self,
|
||||||
_preceding_args: &[ty::GenericArg<'tcx>],
|
|
||||||
param: &ty::GenericParamDef,
|
param: &ty::GenericParamDef,
|
||||||
arg: &GenericArg<'tcx>,
|
arg: &GenericArg<'tcx>,
|
||||||
) -> ty::GenericArg<'tcx> {
|
) -> ty::GenericArg<'tcx> {
|
||||||
|
|
|
@ -413,7 +413,6 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
|
||||||
|
|
||||||
fn provided_kind(
|
fn provided_kind(
|
||||||
&mut self,
|
&mut self,
|
||||||
_preceding_args: &[ty::GenericArg<'tcx>],
|
|
||||||
param: &ty::GenericParamDef,
|
param: &ty::GenericParamDef,
|
||||||
arg: &GenericArg<'tcx>,
|
arg: &GenericArg<'tcx>,
|
||||||
) -> ty::GenericArg<'tcx> {
|
) -> ty::GenericArg<'tcx> {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue