SE-0346 (second review): Lightweight same-type requirements for primary associated types

This review is complete, and the Core Team has decided to accept SE-0346. I'd like to thank everyone who participated in this review (whether in this thread or previously) for your contributions.

John McCall
Review Manager