found that Sized would want to be singled out, since type Foo<T> = Box<T> etc would be common, and should(strictly speaking) be written type Foo<T: ?Sized> = Box<T>
too few bounds:
type Foo<T> = NeedsHash<T>
crater report suggested 379 regressions — widespread regressions, in other words
Rust issues and links
Various considerations