Required associated type syntax in trait definition inconsisten with RFC.

[nulldatamap]

The RFC defines the syntax as following:

trait MyTrait {
  type A;
  fn a() -> A;
}

This syntax in practice causes an "undefined type A" error.
Self::A, MyTrait::A, <MyTrait>::A all fail, but <MyTrait as MyTrait>::A and <Self as MyTrait>::A succeeds.

Even if the syntax is supposed not to follow the RFC strictly, this is still both ugly, clunky and not very intuitive.

[quantheory]

Agreed, but there is a lot of work still in progress for associated types, so I hope that this will be fixed soon-ish. Also, I think that this is a dup of #18764.

[huonw]

Closing as a dupe of #18764; thanks for filing!