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

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases #103488

Merged
merged 10 commits into from
Nov 23, 2022
Merged

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases #103488

merged 10 commits into from
Nov 23, 2022

Commits on Nov 21, 2022

  1. Allow opaque types in trait impl headers and rely on coherence to rej… 

    …ect unsound cases
    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    2752e32 View commit details
    Browse the repository at this point in the history

  2. Treat different opaque types of the same def id as equal during coher… 

    …ence
    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    94fe30f View commit details
    Browse the repository at this point in the history

  3. Add an always-ambiguous predicate to make sure that we don't accident… 

    …lally allow trait resolution to prove false things during coherence
    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    ae80c76 View commit details
    Browse the repository at this point in the history

  4. nit treat different opaque types

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    9cd44f8 View commit details
    Browse the repository at this point in the history

  5. Move a field around

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    9a8e1ee View commit details
    Browse the repository at this point in the history

  6. Register obligations from type relation

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    f42e490 View commit details
    Browse the repository at this point in the history

  7. Remove a function that doesn't actually do anything

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    11ae334 View commit details
    Browse the repository at this point in the history

  8. Type generalization should not look at opaque type in coherence

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    7301cd7 View commit details
    Browse the repository at this point in the history

  9. Add some more assertions for type relations not used during coherence

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    11adf03 View commit details
    Browse the repository at this point in the history

  10. Test generalization during coherence

    @oli-obk
    oli-obk committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    c16a90f View commit details
    Browse the repository at this point in the history