Generalize object and type parameter bounds

An RFC summarizing type system changes that close up rust-lang/rust#5723 and related bugs.
On Thu, Aug 07, 2014 at 08:02:38AM -0700, Marvin Löbel wrote:
> Would this work by having `Send` inherit from `'static`?

Yes.

> Related, would something like like `Box<Any>` with `trait Any : 'static {}` imply `Box<Any+'static>`, or would that still have to be written explicitly?

Yes, if `trait Any : 'static`, then `Box<Any>` is sufficient.