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

various const parameter defaults improvements #84299

Merged
merged 4 commits into from
Apr 25, 2021
Merged

various const parameter defaults improvements #84299

merged 4 commits into from
Apr 25, 2021

Commits on Apr 21, 2021

  1. fix name resolution for param defaults

    @lcnr
    lcnr committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    259a368 View commit details
    Browse the repository at this point in the history

  2. loosen ordering restricts for const_generics_defaults

    @lcnr
    lcnr committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    7cb1dcd View commit details
    Browse the repository at this point in the history

  3. improve wf check for const param defaults

    @lcnr
    lcnr committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    312b4fd View commit details
    Browse the repository at this point in the history

  4. supply substs to anon consts in defaults

    @lcnr
    lcnr committed Apr 21, 2021
    Configuration menu
    Copy the full SHA
    d3e0d2f View commit details
    Browse the repository at this point in the history