Hello, everyone. The review of SE-0402 ran from July 3rd to the 17th. Overall feedback was light but positive. Comments on the review were mostly limited to questions about the behavior, some of which may lead to future work, but the Language Steering Group feels that the proposal represents progress as it is and doesn't need to be held up. Accordingly, SE-0402 has been accepted.
As always, I'd like to thank the community for participating in the evolution process.
I believe that accepting the proposal as is would block this possibility from being a future direction, because the conformance names are currently listed directly under conformances instead of being embedded in named(…) as it is for names.