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

[RFC] Clarify (and improve) rules for projections and well-formedness #1214

Merged
merged 10 commits into from
Aug 7, 2015

Commits on Jul 17, 2015

  1. Initial version.

    nikomatsakis committed Jul 17, 2015
    Configuration menu
    Copy the full SHA
    7902a6d View commit details
    Browse the repository at this point in the history
  2. Correct issue #.

    nikomatsakis committed Jul 17, 2015
    Configuration menu
    Copy the full SHA
    bcc727f View commit details
    Browse the repository at this point in the history
  3. add clause that says that an object type is WF only if the

    trait is object safe
    nikomatsakis committed Jul 17, 2015
    Configuration menu
    Copy the full SHA
    6b07c20 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ffeccfd View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2015

  1. Configuration menu
    Copy the full SHA
    fb3ef33 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2015

  1. Configuration menu
    Copy the full SHA
    5614b94 View commit details
    Browse the repository at this point in the history
  2. pnkfelix nits

    nikomatsakis committed Aug 6, 2015
    Configuration menu
    Copy the full SHA
    b17fdb8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    af21352 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2015

  1. Configuration menu
    Copy the full SHA
    abcd4be View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a3d22d8 View commit details
    Browse the repository at this point in the history