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

make Thin a supertrait of Sized #122553

Closed
wants to merge 7 commits into from
Closed

make Thin a supertrait of Sized #122553

wants to merge 7 commits into from

Commits on Mar 19, 2024

  1. clean up fulfillment error reporting

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    06a72d2 View commit details
    Browse the repository at this point in the history

  2. add tests for mismatched super projections with nested obligations

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    dbdc03c View commit details
    Browse the repository at this point in the history

  3. make Thin a supertrait of Sized

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    504da11 View commit details
    Browse the repository at this point in the history

  4. always use shallow tail for metadata projections

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    a7f12dc View commit details
    Browse the repository at this point in the history

  5. suppress errors about T: !Thin caused by T: !Sized

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    c02b3c7 View commit details
    Browse the repository at this point in the history

  6. clippy: handle supertraits of Sized

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    e399970 View commit details
    Browse the repository at this point in the history

  7. miri: adjust layout cycle test to avoid overflow error

    Lukas Markeffsky committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    81a8fae View commit details
    Browse the repository at this point in the history