The PR still hasn't seen official activity; as far as I can tell, it didn't receive feedback by the lang team and wasn't added to any kind of agenda; nobody is assigned to it.
The discussion on the PR has stopped since a month ago; feedback was given and integrated, and it seems there's a general consensus that the RFC brings something valuable that is worth the added language complexity; and no-one has had anything to add since.
What should happen next? The RFC process doc says:
The sub-team will discuss the RFC pull request, as much as possible in the comment thread of the pull request itself. Offline discussion will be summarized on the pull request comment thread.
But this hasn't happened yet. Now, I don't want to impose, but I would like some assurance that the RFC won't just fall through the cracks. Even having someone from the lang team say "This will be added to the queue and will be processed once we're done with these items which are currently our priority, which will probably take a least X months" would be helpful.
Is there some channel I should go through next? Or should I just wait and be patient?