I'm really happy that this finally landed. Unfortunately the limitations of the MVP are severe.

For example you can't use associated constant as generic arguments, preventing constructions like this:

  trait HashFunction {
      const OUTPUT_SIZE: usize;
      fn hash(input: &[u8]) -> [u8; Self::OUTPUT_SIZE];
  }