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

Remove ReScope #72362

Merged
merged 8 commits into from
May 24, 2020
Merged

Remove ReScope #72362

merged 8 commits into from
May 24, 2020

Commits on May 22, 2020

  1. Check for upper bound universe errors more carefully

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    33f90f2 View commit details
    Browse the repository at this point in the history

  2. Improve the error when an opaque type captures ReEmtpty

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    187bfb3 View commit details
    Browse the repository at this point in the history

  3. Remove the parts of regionck referencing ReScope

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    c102312 View commit details
    Browse the repository at this point in the history

  4. Remove ReScope

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    7d73e4c View commit details
    Browse the repository at this point in the history

  5. Remove unused error reporting code

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    52d628f View commit details
    Browse the repository at this point in the history

  6. Remove dead ScopeTree code

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    3d8a073 View commit details
    Browse the repository at this point in the history

  7. Update tests

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    f9f3063 View commit details
    Browse the repository at this point in the history

  8. Document collect_bounding_regions

    @matthewjasper
    matthewjasper committed May 22, 2020
    Configuration menu
    Copy the full SHA
    9754b3f View commit details
    Browse the repository at this point in the history