Rollup of 3 pull requests

[JonathanBrouwer]

Successful merges:

• Make Receiver #[rustc_dyn_incompatible_trait] #162411 (Make Receiver #[rustc_dyn_incompatible_trait])
• Remove fields from TypeKind: Array, Slice #161896 (Remove fields from TypeKind: Array, Slice)
• add test ensuring we refuse to const-eval the body of a rustc_do_not_const_check function #162379 (add test ensuring we refuse to const-eval the body of a rustc_do_not_const_check function)

r? @ghost

Create a similar rollup

[JonathanBrouwer]

@bors r+ p=5

[rust-bors]

📌 Commit 0035e14 has been approved by JonathanBrouwer

It is now in the queue for this repository.

[rust-bors]

This pull request was unapproved due to being closed.

[rust-log-analyzer]

The job test-x86_64-gnu-gcc failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

---- [ui] tests/ui/self/arbitrary-self-types-dyn-receiver.rs stdout ----

error: test compilation failed although it shouldn't!
status: exit status: 1
command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "-Zcodegen-backend=gcc" "--target=x86_64-unknown-linux-gnu" "--check-cfg" "cfg(test,FALSE)" "-O" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "-C" "prefer-dynamic" "-o" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/self/arbitrary-self-types-dyn-receiver/a" "-Znext-solver=coherence" "-A" "internal_features" "-A" "incomplete_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers"
stdout: none
--- stderr -------------------------------
error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:12:5
   |
LL |     fn foo(self: &dyn Receiver<Target=Self>) {
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |
   = note: the trait is not dyn compatible because it opted out of dyn-compatibility

error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:12:18
   |
LL |     fn foo(self: &dyn Receiver<Target=Self>) {
   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |
   = note: the trait is not dyn compatible because it opted out of dyn-compatibility

error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:12:19
   |
LL |     fn foo(self: &dyn Receiver<Target=Self>) {
   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |
   = note: the trait is not dyn compatible because it opted out of dyn-compatibility
help: you might have meant to use `Self` to refer to the implementing type
   |
LL -     fn foo(self: &dyn Receiver<Target=Self>) {
LL +     fn foo(self: &Self) {
   |

error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:7:18
   |
LL |     fn foo(self: &dyn Receiver<Target=Self>);
   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |
   = note: the trait is not dyn compatible because it opted out of dyn-compatibility

error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:7:19
   |
LL |     fn foo(self: &dyn Receiver<Target=Self>);
   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |
   = note: the trait is not dyn compatible because it opted out of dyn-compatibility
help: you might have meant to use `Self` to refer to the implementing type
   |
LL -     fn foo(self: &dyn Receiver<Target=Self>);
LL +     fn foo(self: &Self);
   |

error[E0038]: the trait `std::ops::Receiver` is not dyn compatible
##[error]  --> /checkout/tests/ui/self/arbitrary-self-types-dyn-receiver.rs:19:17
   |
LL |     let y: &dyn Receiver<Target=Thing> = &x;
   |                 ^^^^^^^^^^^^^^^^^^^^^^ `std::ops::Receiver` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> /rustc/FAKE_PREFIX/library/core/src/ops/deref.rs:370:0
   |

Important

For more information how to resolve CI failures of this job, visit this link.