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

Polymorphization: Look at called functions for usedness of generic params #106233

Closed
wants to merge 5 commits into from
Closed

Polymorphization: Look at called functions for usedness of generic params #106233

wants to merge 5 commits into from

Commits on Jan 6, 2023

  1. Use newtype for unused generic parameters

    @Nilstrieb
    Nilstrieb committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    787185e View commit details
    Browse the repository at this point in the history

  2. Delete unused polymorphization code

    @Nilstrieb
    Nilstrieb committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    04418fa View commit details
    Browse the repository at this point in the history

  3. Look at called functions for usedness of generic params 

    When a generic param is only used in a const fndef where it is in turn
unused, then it's unused in the caller as well.

This causes query cycles on recursive functions, we need to recover from
them and ignore them.
    @Nilstrieb
    Nilstrieb committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    68fa840 View commit details
    Browse the repository at this point in the history

  4. Recover and ignore query cycles for unused_generic_params

    @Nilstrieb
    Nilstrieb committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    32203e8 View commit details
    Browse the repository at this point in the history

  5. Bless tests

    @Nilstrieb
    Nilstrieb committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    6efacdd View commit details
    Browse the repository at this point in the history