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

Delete trust_inference option #50432

Merged
merged 2 commits into from
Jul 6, 2023
Merged

Delete trust_inference option #50432

merged 2 commits into from
Jul 6, 2023

Commits on Jul 6, 2023

  1. Flip trust_inference option 

    I think the time has come to flip this. This was added when the type
system was much less reliable at producing intersections. It is true
that we still have the occasional type sytem bug, but we're already
trusting inference in a bunch of other places. At the same time,
the cost of this has grown in terms of bloated IR needing to
be visited in places like irinterp, so let's flip the bit and
we'll deal with type system bugs the way we usually due.
    @Keno
    Keno committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    e3adfec View commit details
    Browse the repository at this point in the history

  2. refactor to remove trust_inference entirely

    @oscardssmith
    oscardssmith committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    dbb7956 View commit details
    Browse the repository at this point in the history