Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tracking Issue for rustc_main attribute. #84060

Closed
crlf0710 opened this issue Apr 10, 2021 · 1 comment
Closed

Tracking Issue for rustc_main attribute. #84060

crlf0710 opened this issue Apr 10, 2021 · 1 comment
Labels
C-tracking-issue Category: A tracking issue for an RFC or an unstable feature.

Comments

@crlf0710
Copy link
Member

crlf0710 commented Apr 10, 2021

This is a tracking issue for the rustc_main internal attribute, which is not intended for stablization.
The feature gate for the issue is #![feature(rustc_main)].

The intention of this attribute is to finish the migration and removal of #[main] attribute and to support implementing
RFC 1260 on top of this.

About tracking issues

Tracking issues are used to record the overall progress of implementation.
They are also used as hubs connecting to other relevant issues, e.g., bugs or open design questions.
A tracking issue is however not meant for large scale discussion, questions, or bug reports about a feature.
Instead, open a dedicated issue for the specific matter and add the relevant feature gate label.

Unresolved Questions

Implementation history

@crlf0710 crlf0710 added the C-tracking-issue Category: A tracking issue for an RFC or an unstable feature. label Apr 10, 2021
@crlf0710
Copy link
Member Author

As in the discussion of #84062 (comment) , we decided that this attribute should use rustc_attrs feature gate instead of its own one. Closing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-tracking-issue Category: A tracking issue for an RFC or an unstable feature.
Projects
None yet
Development

No branches or pull requests

1 participant