- 
                Notifications
    You must be signed in to change notification settings 
- Fork 13.9k
          Migrate some rustc_borrowck diagnostics to SessionDiagnostic
          #98415
        
          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.
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
  
    Migrate some rustc_borrowck diagnostics to SessionDiagnostic
  
  #98415
              Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The Display impl for Predicate means that we either put ticks around this or we don't put ticks around "could not prove Ty: Trait" -- I prefer the backticks around all predicates.
We could perhaps also avoid this by having Predicate have a smarter Display impl, or maybe having a special IntoDiagnosticArg for Predicate.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's a little unfortunate that "well-formed" is also in the backticks but I think this is probably fine for now.
| @bors r+ rollup | 
| 📌 Commit 621811447b06188833bf81f88dd9c5b1eba4b95e has been approved by  | 
| 🌲 The tree is currently closed for pull requests below priority 1000. This pull request will be tested once the tree is reopened. | 
| @bors r- failed to merge apparently | 
| ☔ The latest upstream changes (presumably #98438) made this pull request unmergeable. Please resolve the merge conflicts. | 
6218114    to
    98af1bf      
    Compare
  
    | @bors r=davidtwco | 
| 📌 Commit 98af1bf has been approved by  | 
…ion-diagnostic-1, r=davidtwco Migrate some `rustc_borrowck` diagnostics to `SessionDiagnostic` Self-explanatory r? `@davidtwco`
…ion-diagnostic-1, r=davidtwco Migrate some `rustc_borrowck` diagnostics to `SessionDiagnostic` Self-explanatory r? ``@davidtwco``
Rollup of 7 pull requests Successful merges: - rust-lang#98415 (Migrate some `rustc_borrowck` diagnostics to `SessionDiagnostic`) - rust-lang#98479 (Add `fetch_not` method on `AtomicBool`) - rust-lang#98499 (Erase regions in New Abstract Consts) - rust-lang#98516 (library: fix uefi va_list type definition) - rust-lang#98554 (Fix box with custom allocator in miri) - rust-lang#98607 (Clean up arg mismatch diagnostic, generalize tuple wrap suggestion) - rust-lang#98625 (emit Retag for compound types with reference fields) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Self-explanatory
r? @davidtwco