Explain some code duplication
This commit is contained in:
parent
adb2ac0165
commit
063b26af6b
1 changed files with 4 additions and 0 deletions
|
@ -444,6 +444,8 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
|
||||||
|
|
||||||
if let Err(incorrect) = self.incorrect_args {
|
if let Err(incorrect) = self.incorrect_args {
|
||||||
if incorrect.invalid_args.contains(&(param.index as usize)) {
|
if incorrect.invalid_args.contains(&(param.index as usize)) {
|
||||||
|
// FIXME: use `param.to_error` once `provided_kind` is supplied a list of
|
||||||
|
// all previous generic args.
|
||||||
return match param.kind {
|
return match param.kind {
|
||||||
GenericParamDefKind::Lifetime => {
|
GenericParamDefKind::Lifetime => {
|
||||||
ty::Region::new_error(tcx, incorrect.reported).into()
|
ty::Region::new_error(tcx, incorrect.reported).into()
|
||||||
|
@ -531,6 +533,8 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
|
||||||
|
|
||||||
if let Err(incorrect) = self.incorrect_args {
|
if let Err(incorrect) = self.incorrect_args {
|
||||||
if incorrect.invalid_args.contains(&(param.index as usize)) {
|
if incorrect.invalid_args.contains(&(param.index as usize)) {
|
||||||
|
// FIXME: use `param.to_error` once `inferred_kind` is supplied a list of
|
||||||
|
// all previous generic args.
|
||||||
return match param.kind {
|
return match param.kind {
|
||||||
GenericParamDefKind::Lifetime => {
|
GenericParamDefKind::Lifetime => {
|
||||||
ty::Region::new_error(tcx, incorrect.reported).into()
|
ty::Region::new_error(tcx, incorrect.reported).into()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue