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

ReLateBound -> ReBound #117876

Merged
merged 5 commits into from
Nov 13, 2023
Merged

ReLateBound -> ReBound #117876

merged 5 commits into from
Nov 13, 2023

Commits on Nov 13, 2023

  1. add fixme to RegionCtxt

    @lcnr
    lcnr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    8588350 View commit details
    Browse the repository at this point in the history

  2. remove unnecessary _ in variable name

    @lcnr
    lcnr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    28328c8 View commit details
    Browse the repository at this point in the history

  3. rename ReLateBound to ReBound 

    other changes:
- `Region::new_late_bound` -> `Region::new_bound`
- `Region::is_late_bound` -> `Region::is_bound`
    @lcnr
    lcnr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    86fa131 View commit details
    Browse the repository at this point in the history

  4. continue renaming 

    - `RegionVariableOrigin::~~Late~~BoundRegion`
- `~~Late~~BoundRegionConversionTime`
    @lcnr
    lcnr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    dd0739a View commit details
    Browse the repository at this point in the history

  5. update type flags 

    - `HAS_RE_LATE_BOUND` -> `HAS_RE_BOUND`
- `HAS_TY_LATE_BOUND` -> `HAS_TY_BOUND`
- `HAS_CT_LATE_BOUND` -> `HAS_CT_BOUND`
- `HAS_LATE_BOUND` -> `HAS_BOUND_VARS`
- `fn has_late_bound_regions` -> `fn has_bound_regions`
- `fnhas_non_region_late_bound` -> `fn has_non_region_bound_vars`
- `fn has_late_bound_vars` -> `fn has_bound_vars`
    @lcnr
    lcnr committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    8935a1b View commit details
    Browse the repository at this point in the history