Parse error when typing lifetime bounds before trait bounds in a trait object

[arielb1]

rustc does not parse lifetime bounds that aren't the last bound of a trait object:

fn f() -> Box<'static+std::fmt::Show> { unreachable!() }

Gives: error: expected type, found token BINOP(PLUS)

[steveklabnik]

We now give a much better error here:

hello.rs:1:22: 1:23 error: expected `,` or `>` after lifetime name, found `+`
hello.rs:1 fn f() -> Box<'static+std::fmt::Show> { unreachable!() }
                                ^
hello.rs:1:22: 1:23 error: expected type, found `+`
hello.rs:1 fn f() -> Box<'static+std::fmt::Show> { unreachable!() }
                                ^
hello.rs:1:15: 1:23 note: did you mean a single argument type &'a Type, or did you mean the comma-separated arguments 'a, Type?
hello.rs:1 fn f() -> Box<'static+std::fmt::Show> { unreachable!() }
                         ^~~~~~~~

While it's still not perfect, nobody else has mentioned this in a year, so I'm giving this a close. I'm not even 100% sure that this is something that we want to accept.