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

Fix soundness bug with type alias impl trait #82558

Closed
wants to merge 6 commits into from
Closed

Fix soundness bug with type alias impl trait #82558

wants to merge 6 commits into from

Commits on Mar 18, 2021

  1. Use tracing::instrument for better analzyabilty of logs around impl t… 

    …rait
    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    af5f158 View commit details
    Browse the repository at this point in the history

  2. Stop OpaqueTypeDecl from being Copy

    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    1625296 View commit details
    Browse the repository at this point in the history

  3. Require all type variables to satisfy the impl trait bounds

    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    549f545 View commit details
    Browse the repository at this point in the history

  4. Emit an error when there are two differently inferred impl traits wit… 

    …hin a single function
    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    d9d4a52 View commit details
    Browse the repository at this point in the history

  5. Defining use errors yield the error type to reduce irrelevant follow-… 

    …up diagnostics
    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    0382c00 View commit details
    Browse the repository at this point in the history

  6. Don't emit errors containing type error as another (more useful) er… 

    …ror must have been emitted already
    @oli-obk
    oli-obk committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    93f3d08 View commit details
    Browse the repository at this point in the history