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

Assert that args are actually compatible with their generics, rather than just their count #123240

Merged
merged 5 commits into from
Apr 4, 2024
Merged

Assert that args are actually compatible with their generics, rather than just their count #123240

merged 5 commits into from
Apr 4, 2024

Commits on Apr 3, 2024

  1. Stop chopping off args for no reason

    @compiler-errors
    compiler-errors committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    e3025d6 View commit details
    Browse the repository at this point in the history

  2. Uplift and start using check_args_compatible more liberally

    @compiler-errors
    compiler-errors committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    c9f8529 View commit details
    Browse the repository at this point in the history

  3. Simplify some cfging

    @compiler-errors
    compiler-errors committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    657dadf View commit details
    Browse the repository at this point in the history

  4. Don't fill non-ty args with ty::Error

    @compiler-errors
    compiler-errors committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    03163ef View commit details
    Browse the repository at this point in the history

  5. Fix up error message for debug_assert_args_compat for IATs

    @compiler-errors
    compiler-errors committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    bd8ca78 View commit details
    Browse the repository at this point in the history