Lang Team Type Alias Summary

Rust issues and links


Various considerations

  • unenforced, extra bounds:
  • type Foo<T: Hash> = Vec<T>
  • 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