Skip to content

Make adjust_fulfillment_errors work with HostEffectPredicate and const_conditions - #133403

Merged
bors merged 3 commits into
rust-lang:masterfrom
compiler-errors:adjust-host-effect-preds
Dec 1, 2024
Merged

Make adjust_fulfillment_errors work with HostEffectPredicate and const_conditions#133403
bors merged 3 commits into
rust-lang:masterfrom
compiler-errors:adjust-host-effect-preds

Conversation

@compiler-errors

Copy link
Copy Markdown
Contributor

Greatly improves the spans for reporting unsatisfied ~const bounds :)

r? project-const-traits or maybe @lcnr (if you want to deal with a diagnostics PR lmao)

@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Nov 24, 2024
@bors

bors commented Nov 27, 2024

Copy link
Copy Markdown
Collaborator

☔ The latest upstream changes (presumably #133516) made this pull request unmergeable. Please resolve the merge conflicts.

@fee1-deadfee1-dead left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall looks good

r=me

Comment threadcompiler/rustc_hir_typeck/src/callee.rs
@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 28, 2024
}

match self.tcx.hir_node(hir_id) {
hir::Node::Expr(&hir::Expr {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

vibe: please move all hir::Node::Expr branches into a submatch in a sub-fn, and start that fn by checking self.closure_span_overlaps_error(error, span). This function is currently very difficult to parse for me

@lcnr

lcnr commented Nov 28, 2024

Copy link
Copy Markdown
Contributor

some nits from me as well, then r=fee1-dead,lcnr

@compiler-errors

Copy link
Copy Markdown
ContributorAuthor

Pulled out that helper function and simplified the logic a bit more.

@bors r=fee1-dead,lcnr

@bors

bors commented Dec 1, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit d5c5d58 has been approved by fee1-dead,lcnr

It is now in the queue for this repository.

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Dec 1, 2024
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 1, 2024
…-preds, r=fee1-dead,lcnr
Make `adjust_fulfillment_errors` work with `HostEffectPredicate` and `const_conditions`
Greatly improves the spans for reporting unsatisfied `~const` bounds :)
r? project-const-traits or maybe `@lcnr` (if you want to deal with a diagnostics PR lmao)
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 1, 2024
…iaskrgr
Rollup of 8 pull requests
Successful merges:
- rust-lang#128004 (codegen `#[naked]` functions using global asm)
- rust-lang#132974 (Properly pass linker arguments that contain commas)
- rust-lang#133403 (Make `adjust_fulfillment_errors` work with `HostEffectPredicate` and `const_conditions`)
- rust-lang#133482 (Only error raw lifetime followed by `\'` in edition 2021+)
- rust-lang#133595 (Do not emit `missing_doc_code_examples` rustdoc lint on module and a few other items)
- rust-lang#133669 (Move some functions out of const_swap feature gate)
- rust-lang#133674 (Fix chaining `carrying_add`s)
- rust-lang#133691 (Check let source before suggesting annotation)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 1, 2024
…iaskrgr
Rollup of 7 pull requests
Successful merges:
- rust-lang#132974 (Properly pass linker arguments that contain commas)
- rust-lang#133403 (Make `adjust_fulfillment_errors` work with `HostEffectPredicate` and `const_conditions`)
- rust-lang#133482 (Only error raw lifetime followed by `\'` in edition 2021+)
- rust-lang#133595 (Do not emit `missing_doc_code_examples` rustdoc lint on module and a few other items)
- rust-lang#133669 (Move some functions out of const_swap feature gate)
- rust-lang#133674 (Fix chaining `carrying_add`s)
- rust-lang#133691 (Check let source before suggesting annotation)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 1, 2024
…iaskrgr
Rollup of 7 pull requests
Successful merges:
- rust-lang#132974 (Properly pass linker arguments that contain commas)
- rust-lang#133403 (Make `adjust_fulfillment_errors` work with `HostEffectPredicate` and `const_conditions`)
- rust-lang#133482 (Only error raw lifetime followed by `\'` in edition 2021+)
- rust-lang#133595 (Do not emit `missing_doc_code_examples` rustdoc lint on module and a few other items)
- rust-lang#133669 (Move some functions out of const_swap feature gate)
- rust-lang#133674 (Fix chaining `carrying_add`s)
- rust-lang#133691 (Check let source before suggesting annotation)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit b574158 into rust-lang:masterDec 1, 2024
@rustbotrustbot added this to the 1.85.0 milestone Dec 1, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Dec 1, 2024
Rollup merge of rust-lang#133403 - compiler-errors:adjust-host-effect-preds, r=fee1-dead,lcnr
Make `adjust_fulfillment_errors` work with `HostEffectPredicate` and `const_conditions`
Greatly improves the spans for reporting unsatisfied `~const` bounds :)
r? project-const-traits or maybe ``@lcnr`` (if you want to deal with a diagnostics PR lmao)
@fmeasefmease added the PG-const-traits Project group: Const traits label Nov 24, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PG-const-traitsProject group: Const traitsS-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants

@compiler-errors@bors@lcnr@fee1-dead@fmease@rustbot