Skip to content

Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r… - #99495

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:revert_98582
Jul 20, 2022
Merged

Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r…#99495
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:revert_98582

Conversation

@oli-obk

Copy link
Copy Markdown
Contributor

…=estebank"

This reverts commit 6f8fb91, reversing
changes made to 7210e46.

r? @ghost

rebase of #99368

…e_type, r=estebank"
This reverts commit 6f8fb91, reversing
changes made to 7210e46.
@rustbotrustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Jul 20, 2022
@rustbot

Copy link
Copy Markdown
Collaborator

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

@oli-obk

Copy link
Copy Markdown
ContributorAuthor

@bors r+ p=1

@bors

bors commented Jul 20, 2022

Copy link
Copy Markdown
Collaborator

📌 Commit 4a742a6 has been approved by oli-obk

It is now in the queue for this repository.

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jul 20, 2022
@bors

bors commented Jul 20, 2022

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 4a742a6 with merge d60d88f...

@bors

bors commented Jul 20, 2022

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing d60d88f to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label Jul 20, 2022
@bors
bors merged commit d60d88f into rust-lang:masterJul 20, 2022
@rustbotrustbot added this to the 1.64.0 milestone Jul 20, 2022
@rust-timer

Copy link
Copy Markdown
Collaborator

Finished benchmarking commit (d60d88f): comparison url.

Instruction count

  • Primary benchmarks: 🎉 relevant improvements found
  • Secondary benchmarks: 🎉 relevant improvements found
mean1maxcount2
Regressions 😿
(primary)
N/AN/A0
Regressions 😿
(secondary)
N/AN/A0
Improvements 🎉
(primary)
-0.6%-2.6%136
Improvements 🎉
(secondary)
-1.0%-5.5%93
All 😿🎉 (primary)-0.6%-2.6%136

Max RSS (memory usage)

Results
  • Primary benchmarks: no relevant changes found
  • Secondary benchmarks: mixed results
mean1maxcount2
Regressions 😿
(primary)
N/AN/A0
Regressions 😿
(secondary)
5.1%5.1%1
Improvements 🎉
(primary)
N/AN/A0
Improvements 🎉
(secondary)
-4.0%-4.0%1
All 😿🎉 (primary)N/AN/A0

Cycles

Results
  • Primary benchmarks: 🎉 relevant improvement found
  • Secondary benchmarks: no relevant changes found
mean1maxcount2
Regressions 😿
(primary)
N/AN/A0
Regressions 😿
(secondary)
N/AN/A0
Improvements 🎉
(primary)
-3.2%-3.2%1
Improvements 🎉
(secondary)
N/AN/A0
All 😿🎉 (primary)-3.2%-3.2%1

If you disagree with this performance assessment, please file an issue in rust-lang/rustc-perf.

@rustbot label: -perf-regression

Footnotes

  1. the arithmetic mean of the percent change23

  2. number of relevant changes23

@oli-obk
oli-obk deleted the revert_98582 branch July 27, 2022 08:53
celinval added a commit to celinval/kani-dev that referenced this pull request Aug 15, 2022
celinval added a commit to model-checking/kani that referenced this pull request Aug 17, 2022
* Fix compilation errors
Regression is still failing. Related changes:
- rust-lang/rust#99420
- rust-lang/rust#99495
- rust-lang/rust#99844
- rust-lang/rust#99058
* Change test to expect compilation failure
The compiler has reverted their fix to Opaque types due to performance
degradation.
* Fix VTable handling now that it has an Opaque type
- Add an implementation for vtable_size and vtable_align intrinsics.
- Change how we handled Foreign types. Even though they are unsized, a
pointer to foreign types is a thin pointer.
Co-authored-by: Daniel Schwartz-Narbonne <danielsn@users.noreply.github.com>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.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

@oli-obk@rustbot@bors@rust-timer