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

fix bug in folding for constants #65181

Merged
merged 5 commits into from
Oct 8, 2019
Merged

fix bug in folding for constants #65181

merged 5 commits into from
Oct 8, 2019

Commits on Oct 7, 2019

  1. make type-flags exhaustive 

    Didn't find any bugs here, but you really don't want these to fall out
of sync.
    @nikomatsakis
    nikomatsakis committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    25d04f8 View commit details
    Browse the repository at this point in the history

  2. correct bug in the "has escaping regions" visitor 

    Existing code could overlook types/substitutions that are
embedded in (e.g.) an unevaluated constant.
    @nikomatsakis
    nikomatsakis committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    0b58d9d View commit details
    Browse the repository at this point in the history

  3. avoid ICE when extracting closure-kind-ty from a canonicalized value 

    In such a case, the `Infer` is converted to a `Bound`
    @nikomatsakis
    nikomatsakis committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    bec0902 View commit details
    Browse the repository at this point in the history

  4. fix ICE from debug output by using kind_ty in dumping closure 

    Also, make `-Zverbose` dump all info about constants.
    @nikomatsakis
    nikomatsakis committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    1dba4b0 View commit details
    Browse the repository at this point in the history

  5. add debug! to evaluate_obligation

    @nikomatsakis
    nikomatsakis committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    08c0e84 View commit details
    Browse the repository at this point in the history