Add back in previous logic and remove span shrinking
This commit is contained in:
parent
74e5b7d96a
commit
5ead973173
@ -4565,7 +4565,6 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
|
||||
// Check provided lifetime parameters.
|
||||
let lifetime_defs = segment.map_or(&[][..], |(_, generics)| &generics.regions);
|
||||
if lifetimes.len() > lifetime_defs.len() {
|
||||
let span = lifetimes[lifetime_defs.len()].span;
|
||||
struct_span_err!(self.tcx.sess, span, E0088,
|
||||
"too many lifetime parameters provided: \
|
||||
expected {}, found {}",
|
||||
@ -4574,6 +4573,14 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
|
||||
.span_label(span, &format!("unexpected lifetime parameter{}",
|
||||
match lifetimes.len() { 1 => "", _ => "s" }))
|
||||
.emit();
|
||||
} else if lifetimes.len() > 0 && lifetimes.len() < lifetime_defs.len() {
|
||||
struct_span_err!(self.tcx.sess, span, E0090,
|
||||
"too few lifetime parameters provided: \
|
||||
expected {}, found {}",
|
||||
count(lifetime_defs.len()),
|
||||
count(lifetimes.len()))
|
||||
.span_label(span, &format!("too few lifetime parameters"))
|
||||
.emit();
|
||||
}
|
||||
|
||||
// The case where there is not enough lifetime parameters is not checked,
|
||||
|
Loading…
x
Reference in New Issue
Block a user