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

Matthew's work on improving NLL's "higher-ranked subtype error"s #86700

Merged
merged 13 commits into from
Aug 18, 2021
Merged

Matthew's work on improving NLL's "higher-ranked subtype error"s #86700

merged 13 commits into from
Aug 18, 2021

Commits on Aug 15, 2021

  1. Remove unused Option from NllTypeRelatingDelegate

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    5d52c0e View commit details
    Browse the repository at this point in the history

  2. Show bound lifetimes when comparing types in diagnostics

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    842f059 View commit details
    Browse the repository at this point in the history

  3. Return the canonicalized query from type ops

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    4421dd1 View commit details
    Browse the repository at this point in the history

  4. Simplify BoundUniversalRegionError

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    e271383 View commit details
    Browse the repository at this point in the history

  5. Track causes for universes created during borrowck

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    5e6027c View commit details
    Browse the repository at this point in the history

  6. Report mismatched type errors for bound region errors in NLL

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    0c388b0 View commit details
    Browse the repository at this point in the history

  7. Report nicer errors for HRTB NLL errors from queries

    @matthewjasper @lqd
    matthewjasper authored and lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    d563a63 View commit details
    Browse the repository at this point in the history

  8. Fix dyn trait warning

    @lqd
    lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    5cf6edb View commit details
    Browse the repository at this point in the history

  9. Slight cleanup

    @lqd
    lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    19dfea5 View commit details
    Browse the repository at this point in the history

  10. don't derive Copy for RegionElement

    @lqd
    lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    a69c7cc View commit details
    Browse the repository at this point in the history

  11. De-dupe NLL HRTB diagnostics' use of type_op_prove_predicate

    @lqd
    lqd committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    2cf4b87 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2021

  1. fix typo in bound_region_errors.rs 

    Co-authored-by: matthewjasper <[email protected]>
    @lqd @matthewjasper
    lqd and matthewjasper authored Aug 16, 2021
    Configuration menu
    Copy the full SHA
    311578d View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. add fixme about the type_op_normalize query in NLL HRTB diagnostics

    @lqd
    lqd committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    8343806 View commit details
    Browse the repository at this point in the history