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

Refined trait implementations #3245

Merged
merged 8 commits into from
Aug 26, 2022
Merged

Refined trait implementations #3245

merged 8 commits into from
Aug 26, 2022

Commits on Mar 23, 2022

  1. Refined trait implementations

    tmandry committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    ef84eb4 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Small wording tweaks

    tmandry committed May 12, 2022
    Configuration menu
    Copy the full SHA
    d035998 View commit details
    Browse the repository at this point in the history
  2. Revise options for #[refine]

    Emphasize the possibility of continuing to use `#[refine]` in future
    editions, and list out all the options under Unresolved Questions.
    Include the attribute in examples.
    
    Simplify the usage of `#[refine]` in existing editions so that it is
    needed to refine any aspect of an API, instead of new features being
    refine-able by default and old ones needing the attribute.
    
    Move any discussion of *not* doing a soft transition to Unresolved
    Questions to simplify the Reference Level Explanation a bit.
    tmandry committed May 12, 2022
    Configuration menu
    Copy the full SHA
    409f3dd View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. Configuration menu
    Copy the full SHA
    166024a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f4cc16b View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2022

  1. Remove unresolved question about a soft transition

    It doesn't seem realistic that we will avoid doing a soft transition at
    all. Since it was decided that we would definitely adopt #[refine] in
    the current edition, I don't think this question is relevant anymore.
    tmandry committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    f298eda View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5311c59 View commit details
    Browse the repository at this point in the history
  3. Add tracking issue

    tmandry committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    3a97726 View commit details
    Browse the repository at this point in the history