Skip to content

Tracking issue for Consistent no-prelude attribute (RFC 501) #20561

Closed

Description

Activity

  1. added
    B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.
    on Jan 5, 2015
  2. aturon commented on Jan 5, 2015

    @aturon
    ContributorAuthor
  3. bombless commented on Mar 5, 2015

    @bombless
    Contributor

    I think in theory primitive type definitions come from std::*.
    So if no_std or no_prelude is on there should not been primitive type definitions.
    And I suggest we make alias of primitive types to a place like std::primitive_definition::*, so we write codes below to perform as no_std today:

    #![no_std]
    use std::primitive_definition::*

    I know this change sounds trivial but current behavior is pretty ugly, see #22093
    cc @mahkoh

  4. added
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    on Aug 11, 2015
  5. steveklabnik commented on Nov 30, 2016

    @steveklabnik
    Contributor

    Triage: so. This RFC happened pre-1.0, yet never landed. And it seems no_implicit_prelude does work on stable today. So, this would have to not be a re-naming, but a deprecation + new name?

  6. Kimundi commented on Dec 3, 2016

    @Kimundi
    Contributor

    Seems there has been a patch to implement this early this year, but it bitrottet: #32025

  7. added
    C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFC
    and removed
    C-enhancementCategory: An issue proposing an enhancement or a PR with one.
    C-feature-requestCategory: A feature request, i.e: not implemented / a PR.
    on Jul 22, 2017
  8. pnkfelix commented on Mar 4, 2022

    @pnkfelix
    Contributor

    @rustbot label +S-tracking-design-concerns

    As noted by @petrochenkov here and @oli-obk here, its not clear if this change is still well-motivated.

  9. pnkfelix commented on Mar 4, 2022

    @pnkfelix
    Contributor

    Discussed at today's T-compiler backlog bonanza.

    I propose we close this until someone who can drive it comes forward and can motivate doing this at this point.

    @rfcbot fcp close

  10. rfcbot commented on Mar 4, 2022

    @rfcbot

    Team member @pnkfelix has proposed to close this. The next step is review by the rest of the tagged team members:

    No concerns currently listed.

    Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

    See this document for info about what commands tagged team members can give me.

  11. added
    proposed-final-comment-periodProposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.
    disposition-closeThis PR / issue is in PFCP or FCP with a disposition to close it.
    on Mar 4, 2022
  12. added
    final-comment-periodIn the final comment period and will be merged soon unless new substantive objections are raised.
    and removed
    proposed-final-comment-periodProposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.
    on May 19, 2022
  13. rfcbot commented on May 19, 2022

    @rfcbot

    🔔 This is now entering its final comment period, as per the review above. 🔔

  14. added and removed
    final-comment-periodIn the final comment period and will be merged soon unless new substantive objections are raised.
    on May 29, 2022
  15. rfcbot commented on May 29, 2022

    @rfcbot

    The final comment period, with a disposition to close, as per the review above, is now complete.

    As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

  16. removed
    to-announceAnnounce this issue on triage meeting
    on May 30, 2022
  17. lcnr commented on May 30, 2022

    @lcnr
    Contributor

    I propose we close this until someone who can drive it comes forward and can motivate doing this at this point.

  18. added a commit that references this issue on Sep 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCS-tracking-design-concernsStatus: There are blocking design concerns.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.disposition-closeThis PR / issue is in PFCP or FCP with a disposition to close it.finished-final-comment-periodThe final comment period is finished for this PR / Issue.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions