associated types

[sbillig]

This adds support for associated types. eg

trait Add<T> {
  type Output
  fn add(self, other: T) -> Self::Output
}

impl Add<Point> for Point {
  type Ouput = Self
  fn add(self, other: Point) -> Point { .. }
}

Associate types can have trait bounds, but not kind bounds, for now. This should be easy to add, but it isn't currently supported.

[micahscopes]

Excellent