Skip to content

remove Ty::is_copy_modulo_regions - #133751

Merged
bors merged 2 commits into
rust-lang:masterfrom
lcnr:no-trait-solving-on-type
Dec 2, 2024
Merged

remove Ty::is_copy_modulo_regions#133751
bors merged 2 commits into
rust-lang:masterfrom
lcnr:no-trait-solving-on-type

Conversation

@lcnr

@lcnrlcnr commented Dec 2, 2024

Copy link
Copy Markdown
Contributor

Using these functions is likely incorrect if an InferCtxt is available, I moved this function to TyCtxt (and added it to LateContext) and added a note to the documentation that one should prefer Infer::type_is_copy_modulo_regions instead.

I didn't yet move is_sized and is_freeze, though I think we should move these as well.

r? @compiler-errors cc #132279

@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 Dec 2, 2024
@rustbot

Copy link
Copy Markdown
Collaborator

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred in match checking

cc @Nadrieril

@compiler-errors

Copy link
Copy Markdown
Contributor

@bors r+ rollup

@bors

bors commented Dec 2, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit e089bea has been approved by compiler-errors

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-review Status: Awaiting review from the assignee but also interested parties. labels Dec 2, 2024
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 2, 2024
…llaumeGomez
Rollup of 13 pull requests
Successful merges:
- rust-lang#133603 (Eliminate magic numbers from expression precedence)
- rust-lang#133715 (rustdoc-json: Include safety of `static`s)
- rust-lang#133721 (rustdoc-json: Add test for `impl Trait for dyn Trait`)
- rust-lang#133725 (Remove `//@ compare-output-lines-by-subset`)
- rust-lang#133730 (Add pretty-printer parenthesis insertion test)
- rust-lang#133736 (Add `needs-target-has-atomic` directive)
- rust-lang#133739 (Re-add myself to rotation)
- rust-lang#133743 (Fix docs for `<[T]>::as_array`.)
- rust-lang#133744 (Fix typo README.md)
- rust-lang#133745 (Remove static HashSet for default IDs list)
- rust-lang#133749 (mir validator: don't store mir phase)
- rust-lang#133751 (remove `Ty::is_copy_modulo_regions`)
- rust-lang#133757 (`impl Default for EarlyDiagCtxt`)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 4c68112 into rust-lang:masterDec 2, 2024
@rustbotrustbot added this to the 1.85.0 milestone Dec 2, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Dec 2, 2024
Rollup merge of rust-lang#133751 - lcnr:no-trait-solving-on-type, r=compiler-errors
remove `Ty::is_copy_modulo_regions`
Using these functions is likely incorrect if an `InferCtxt` is available, I moved this function to `TyCtxt` (and added it to `LateContext`) and added a note to the documentation that one should prefer `Infer::type_is_copy_modulo_regions` instead.
I didn't yet move `is_sized` and `is_freeze`, though I think we should move these as well.
r? `@compiler-errors` cc rust-lang#132279
@lcnr
lcnr deleted the no-trait-solving-on-type branch December 3, 2024 10:22
flip1995 pushed a commit to flip1995/rust that referenced this pull request Dec 15, 2024
…ompiler-errors
remove `Ty::is_copy_modulo_regions`
Using these functions is likely incorrect if an `InferCtxt` is available, I moved this function to `TyCtxt` (and added it to `LateContext`) and added a note to the documentation that one should prefer `Infer::type_is_copy_modulo_regions` instead.
I didn't yet move `is_sized` and `is_freeze`, though I think we should move these as well.
r? `@compiler-errors` cc rust-lang#132279
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-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.

4 participants

@lcnr@rustbot@compiler-errors@bors