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

Clean up errors in typeck and resolve #74005

Merged
merged 4 commits into from
Aug 11, 2020

Commits on Aug 10, 2020

  1. Tweak ordering of suggestions

    Modify logic to make it easier to follow and recover labels that would
    otherwise be lost.
    estebank committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    eef284b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    089810a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6c0755a View commit details
    Browse the repository at this point in the history
  4. Add missing primary label

    estebank committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    54f1b43 View commit details
    Browse the repository at this point in the history