Skip to content

No need to take opaques in check_type_bounds #106204

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Jan 10, 2023

Conversation

compiler-errors
Copy link
Member

InferCtxt already has its defining use anchor set to err

r? @oli-obk

@rustbot rustbot 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 28, 2022
@bors
Copy link
Collaborator

bors commented Dec 28, 2022

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

@compiler-errors compiler-errors force-pushed the no-take-opaques-in-compare branch from 649505b to 0a058d5 Compare January 3, 2023 23:50
@oli-obk
Copy link
Contributor

oli-obk commented Jan 9, 2023

If you wanna make this more robust, take_opaque_types could bug! out in opaque type error mode.

@compiler-errors compiler-errors force-pushed the no-take-opaques-in-compare branch from 0a058d5 to f769d34 Compare January 9, 2023 18:14
@compiler-errors
Copy link
Member Author

compiler-errors commented Jan 9, 2023

If you wanna make this more robust, take_opaque_types could bug! out in opaque type error mode.

I found a bad usage due to this 😆

@oli-obk
Copy link
Contributor

oli-obk commented Jan 9, 2023

😄 perfect

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jan 9, 2023

📌 Commit f769d34 has been approved by oli-obk

It is now in the queue for this repository.

@bors bors 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 Jan 9, 2023
compiler-errors added a commit to compiler-errors/rust that referenced this pull request Jan 9, 2023
…-compare, r=oli-obk

No need to take opaques in `check_type_bounds`

`InferCtxt` already has its defining use anchor set to err

r? `@oli-obk`
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 10, 2023
Rollup of 9 pull requests

Successful merges:

 - rust-lang#105034 (Add example for iterator_flatten)
 - rust-lang#105708 (Enable atomic cas for bpf targets)
 - rust-lang#106175 (Fix bad import suggestion with nested `use` tree)
 - rust-lang#106204 (No need to take opaques in `check_type_bounds`)
 - rust-lang#106387 (Revert "bootstrap: Get rid of `tail_args` in `stream_cargo`")
 - rust-lang#106636 (Accept old spelling of Fuchsia target triples)
 - rust-lang#106639 (update Miri)
 - rust-lang#106640 (update test for inductive canonical cycles)
 - rust-lang#106647 (rustdoc: merge common CSS for `a`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit e5e116d into rust-lang:master Jan 10, 2023
@rustbot rustbot added this to the 1.68.0 milestone Jan 10, 2023
@compiler-errors compiler-errors deleted the no-take-opaques-in-compare branch August 11, 2023 20:11
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant 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