Auto merge of #147793 - cjgillot:no-null-op, r=scottmcm,oli-obk

Replace NullOp::SizeOf and NullOp::AlignOf by lang items.

Part of rust-lang/rust#146411

Fixes rust-lang/rust#119729
Keeps rust-lang/rust#136175 as it involves `offset_of!` which this PR does not touch.

r? `@ghost`

Author: bors

tests/fail/layout_cycle.stderr

@@ -2,29 +2,20 @@ error[E0391]: cycle detected when computing layout of `S<S<()>>`
    |
    = note: ...which requires computing layout of `<S<()> as Tr>::I`...
    = note: ...which again requires computing layout of `S<S<()>>`, completing the cycle
+note: cycle used when const-evaluating + checking `core::mem::SizedTypeProperties::SIZE`
+  --> RUSTLIB/core/src/mem/mod.rs:LL:CC
+   |
+LL |     const SIZE: usize = intrinsics::size_of::<Self>();
+   |     ^^^^^^^^^^^^^^^^^
    = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
 
-error: post-monomorphization error: a cycle occurred during layout computation
+error[E0080]: a cycle occurred during layout computation
   --> RUSTLIB/core/src/mem/mod.rs:LL:CC
    |
-LL |     intrinsics::size_of::<T>()
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ post-monomorphization error occurred here
-   |
-   = note: BACKTRACE:
-   = note: inside `std::mem::size_of::<S<S<()>>>` at RUSTLIB/core/src/mem/mod.rs:LL:CC
-note: inside `foo::<S<()>>`
-  --> tests/fail/layout_cycle.rs:LL:CC
-   |
-LL |     mem::size_of::<S<T>>()
-   |     ^^^^^^^^^^^^^^^^^^^^^^
-note: inside `main`
-  --> tests/fail/layout_cycle.rs:LL:CC
-   |
-LL |     println!("{}", foo::<S<()>>());
-   |                    ^^^^^^^^^^^^^^
-
-note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
+LL |     const SIZE: usize = intrinsics::size_of::<Self>();
+   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ evaluation of `<S<S<()>> as std::mem::SizedTypeProperties>::SIZE` failed here
 
 error: aborting due to 2 previous errors
 
-For more information about this error, try `rustc --explain E0391`.
+Some errors have detailed explanations: E0080, E0391.
+For more information about an error, try `rustc --explain E0080`.