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

experiment: never promote fn calls #122819

Closed
wants to merge 5 commits into from
Closed

experiment: never promote fn calls #122819

wants to merge 5 commits into from

Commits on Mar 21, 2024

  1. promotion: do not promote const-fn calls in const when that may fail … 

    …without the entire const failing
    @RalfJung
    RalfJung committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    b824350 View commit details
    Browse the repository at this point in the history

  2. compute required_consts before promotion, and add promoteds that may … 

    …fail
    @RalfJung
    RalfJung committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    941b076 View commit details
    Browse the repository at this point in the history

  3. interpret: sanity-check that required_consts captures all consts that… 

    … can fail
    @RalfJung
    RalfJung committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    7092891 View commit details
    Browse the repository at this point in the history

  4. properly fill a promoted's required_consts

    @RalfJung
    RalfJung committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    4a9ab29 View commit details
    Browse the repository at this point in the history

  5. experiment: never promote fn calls

    @RalfJung
    RalfJung committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    12c433f View commit details
    Browse the repository at this point in the history