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

Backport: Provide mirror support after inlining #12079

Merged
merged 3 commits into from
Apr 13, 2021
Merged

Backport: Provide mirror support after inlining #12079

merged 3 commits into from
Apr 13, 2021

Commits on Apr 13, 2021

  1. Enter Mirror elements after current phase

    @odersky
    odersky committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    833ea4f View commit details
    Browse the repository at this point in the history

  2. Provide mirror support after inlining 

    Mirror support runs in PostTyper to add new members to mirrors generated
during Typer. But some anonymous mirrors are generated during inlining.
We need to add the missing methods for them as well.

Fixes scala#11542
Fixes scala#11961
Fixes scala#12052
    @odersky
    odersky committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    3f9cb77 View commit details
    Browse the repository at this point in the history

  3. Fix double generation for mirror support

    @odersky
    odersky committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    8b8f42f View commit details
    Browse the repository at this point in the history