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

Treat Refinements more like AndTypes #12317

Merged
merged 4 commits into from
May 4, 2021
Merged

Treat Refinements more like AndTypes #12317

merged 4 commits into from
May 4, 2021

Commits on May 3, 2021

  1. Treat Refinements more like AndTypes 

    Fixes scala#12306

When comparing with an AndType on the left and a RefinedType on the right,
decompose the right hand side into an AndType of types that have a single
refinement each. This makes sure we lose the least information in the
necessary subsequent `either` call.
    @odersky
    odersky committed May 3, 2021
    Configuration menu
    Copy the full SHA
    05a9031 View commit details
    Browse the repository at this point in the history

  2. Fix test

    @odersky
    odersky committed May 3, 2021
    Configuration menu
    Copy the full SHA
    f10edbf View commit details
    Browse the repository at this point in the history

Commits on May 4, 2021

  1. More systematic checking for AndTypes on the left

    @odersky
    odersky committed May 4, 2021
    Configuration menu
    Copy the full SHA
    02caa36 View commit details
    Browse the repository at this point in the history

  2. Use onGadtBounds more widely

    @odersky
    odersky committed May 4, 2021
    Configuration menu
    Copy the full SHA
    fbf8949 View commit details
    Browse the repository at this point in the history