MCP: pub(macro) about lang-team

[rustbot]

This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.

[nikomatsakis]

Summary of comments from Zulip thus far:

• The problem is real and well-motivated.
• However, there are significant concerns about implementation complexity.
• The syntax is a bit odd, since pub(macro) is really a "visibility" in the same sense as today's language (i.e., it doesn't specify a visibility to a particular module).

[nikomatsakis]

We discussed this in our meeting today. Based on that discussion I'm putting this in final comment period with disposition to close (for now...).

The general sense was that this was solving a real problem, but we tended to agree with @petrochenkov that the syntax itself wasn't really making the problem much easier. In other words, we would still need to have a solution to the "hygiene challenge" of giving macro-generated code access to items based on the location of the macro that generated it, and it's not clear that declaring such items as pub(macro) makes this especially easier (and it's also not clear that we would want such a syntax except to aid in the implementation). This isn't to say, I think, that anybody was opposed to some syntax if it was useful.

More generally, it feels like we clearly need a hygiene / macros-2.0 project group to chase down these designs. But this is a longstanding issue where we don't presently have the bandwidth available (and it would require some amount of core lang-team involvement, I believe, as well as experts like @petrochenkov).

Thanks to @ethanboxx for the proposal. ❤️

[eopb]

Sounds like a sensible decision.

If and when the bandwidth for a hygiene / macros-2.0 project group is available it would be cool to be involved.

Thank you for discussing my proposal.

[nikomatsakis]

Check-in from the lang-team meeting:

• We are going to close this proposal per prior move.
• But we agree that the problem needs to be solved and will add a note to the 'shortlist' section to encourage us to revisit it if/when bandwidth becomes available.