put all ignored bounds into the span, not just the first

Author: RalfJung

src/librustc_lint/builtin.rs

@@ -1414,19 +1414,21 @@ impl IgnoredGenericBounds {
  match param {
  &ast::GenericParam::Lifetime(ref lifetime) => {
  if !lifetime.bounds.is_empty() {
+ let spans : Vec<_> = lifetime.bounds.iter().map(|b| b.span).collect();
  cx.span_lint(
  IGNORED_GENERIC_BOUNDS,
- lifetime.bounds[0].span,
+ spans,
  format!("bounds on generic lifetime parameters are ignored in {}",
  thing).as_ref()
  );
  }
  }
  &ast::GenericParam::Type(ref ty) => {
  if !ty.bounds.is_empty() {
+ let spans : Vec<_> = ty.bounds.iter().map(|b| b.span()).collect();
  cx.span_lint(
  IGNORED_GENERIC_BOUNDS,
- ty.bounds[0].span(),
+ spans,
  format!("bounds on generic type parameters are ignored in {}", thing)
  .as_ref()
  );
@@ -1442,8 +1444,9 @@ impl EarlyLintPass for IgnoredGenericBounds {
  match item.node {
  ast::ItemKind::Ty(_, ref generics) => {
  if !generics.where_clause.predicates.is_empty() {
- cx.span_lint(IGNORED_GENERIC_BOUNDS,
- generics.where_clause.predicates[0].span(),
+ let spans : Vec<_> = generics.where_clause.predicates.iter()
+ .map(|pred| pred.span()).collect();
+ cx.span_lint(IGNORED_GENERIC_BOUNDS, spans,
  "where clauses are ignored in type aliases");
  }
  IgnoredGenericBounds::ensure_no_param_bounds(cx, &generics.params,

src/test/ui/param-bounds-ignored.rs

@@ -13,13 +13,13 @@
 
 use std::rc::Rc;
 
-type SVec<T: Send> = Vec<T>;
+type SVec<T: Send+Send> = Vec<T>;
 //~^ WARN bounds on generic type parameters are ignored in type aliases
-type VVec<'b, 'a: 'b> = Vec<&'a i32>;
+type VVec<'b, 'a: 'b+'b> = Vec<&'a i32>;
 //~^ WARN bounds on generic lifetime parameters are ignored in type aliases
-type WVec<'b, T: 'b> = Vec<T>;
+type WVec<'b, T: 'b+'b> = Vec<T>;
 //~^ WARN bounds on generic type parameters are ignored in type aliases
-type W2Vec<'b, T> where T: 'b = Vec<T>;
+type W2Vec<'b, T> where T: 'b, T: 'b = Vec<T>;
 //~^ WARN where clauses are ignored in type aliases
 
 fn foo<'a>(y: &'a i32) {

src/test/ui/param-bounds-ignored.stderr

@@ -1,28 +1,28 @@
 warning: bounds on generic type parameters are ignored in type aliases
  --> $DIR/param-bounds-ignored.rs:16:14
  |
-16 | type SVec<T: Send> = Vec<T>;
- | ^^^^
+16 | type SVec<T: Send+Send> = Vec<T>;
+ | ^^^^ ^^^^
  |
  = note: #[warn(ignored_generic_bounds)] on by default
 
 warning: bounds on generic lifetime parameters are ignored in type aliases
  --> $DIR/param-bounds-ignored.rs:18:19
  |
-18 | type VVec<'b, 'a: 'b> = Vec<&'a i32>;
- | ^^
+18 | type VVec<'b, 'a: 'b+'b> = Vec<&'a i32>;
+ | ^^ ^^
 
 warning: bounds on generic type parameters are ignored in type aliases
  --> $DIR/param-bounds-ignored.rs:20:18
  |
-20 | type WVec<'b, T: 'b> = Vec<T>;
- | ^^
+20 | type WVec<'b, T: 'b+'b> = Vec<T>;
+ | ^^ ^^
 
 warning: where clauses are ignored in type aliases
  --> $DIR/param-bounds-ignored.rs:22:25
  |
-22 | type W2Vec<'b, T> where T: 'b = Vec<T>;
- | ^^^^^
+22 | type W2Vec<'b, T> where T: 'b, T: 'b = Vec<T>;
+ | ^^^^^ ^^^^^
 
 warning: bounds on generic lifetime parameters are ignored in higher-ranked function types (i.e., `for`)
  --> $DIR/param-bounds-ignored.rs:43:22