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.

Sign up for GitHub

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

Jump to bottom

RFC: Implementable trait aliases #3437

Open
wants to merge 20 commits into
base: master
Choose a base branch
from
Open

RFC: Implementable trait aliases #3437

wants to merge 20 commits into from

Commits on May 24, 2023

  1. RFC: Implementable trait aliases

    @Jules-Bertholet
    Jules-Bertholet committed May 24, 2023
    Configuration menu
    Copy the full SHA
    5ef6311 View commit details
    Browse the repository at this point in the history

  2. Fix wording

    @Jules-Bertholet
    Jules-Bertholet committed May 24, 2023
    Configuration menu
    Copy the full SHA
    af7b7ea View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Discuss #[implementable] in more detail

    @Jules-Bertholet
    Jules-Bertholet committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    6b36635 View commit details
    Browse the repository at this point in the history

  2. Add future possibility syntax

    @Jules-Bertholet
    Jules-Bertholet committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    5aa3827 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Support fully-qualified method call syntax

    @Jules-Bertholet
    Jules-Bertholet committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    cd871e0 View commit details
    Browse the repository at this point in the history

  2. Allow implementable aliases in paths more generally

    @Jules-Bertholet
    Jules-Bertholet committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    5d1080a View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. Add discussion of "unioning" traits

    @Jules-Bertholet
    Jules-Bertholet committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    13a9c18 View commit details
    Browse the repository at this point in the history

  2. Fix typos

    @Jules-Bertholet
    Jules-Bertholet committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    1b32952 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Expand alternatives, fix implementability rules hole

    @Jules-Bertholet
    Jules-Bertholet committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    f03d3b9 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Add words about associated type bounds

    @Jules-Bertholet
    Jules-Bertholet committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    d2603ab View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Fix typo

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    1e235ff View commit details
    Browse the repository at this point in the history

  2. Address biggest comments from design meeting

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    6c22c39 View commit details
    Browse the repository at this point in the history

  3. Update motivation to reflect current state of AFIT

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    149b016 View commit details
    Browse the repository at this point in the history

  4. Correct minor error

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    7089998 View commit details
    Browse the repository at this point in the history

  5. Split one bullet into two

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    c08f2b8 View commit details
    Browse the repository at this point in the history

  6. Alias associated items

    @Jules-Bertholet
    Jules-Bertholet committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    d0c32f3 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Clarify "weak"/"strong"

    @Jules-Bertholet
    Jules-Bertholet committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    1167e58 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Future possibility: trait alias associated items

    @Jules-Bertholet
    Jules-Bertholet committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    b027df1 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2023

  1. Future possibility: trait aliases constrained by their associated items

    @Jules-Bertholet
    Jules-Bertholet committed Dec 9, 2023
    Configuration menu
    Copy the full SHA
    601cc9c View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Rewrite AFIT example in terms of trait-variant

    @Jules-Bertholet
    Jules-Bertholet committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    24f15c1 View commit details
    Browse the repository at this point in the history