Miscellaneous improvements to struct tail normalization

[compiler-errors]

1. Make checks for foreign tails more accurate by normalizing the struct tail. I didn't write a test for this one.
2. Normalize when computing struct tail for offset_of for slice/str. This fixes the new solver only.
3. Normalizing when computing tails for disaligned reference check. This fixes both solvers.

r? lcnr

[compiler-errors]

TODO: Rename struct_tail_erasing_regions

[rustbot]

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

[rustbot]

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

[lcnr]

@bors r+ rollup

[bors]

📌 Commit b916431 has been approved by lcnr

It is now in the queue for this repository.

[lcnr]

@bors rollup=iffy

[bors]

⌛ Testing commit b916431 with merge 899eb03...

[bors]

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing 899eb03 to master...

[rust-timer]

Finished benchmarking commit (899eb03): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results (secondary 4.1%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	4.1%	[4.1%, 4.1%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Cycles

Results (secondary 2.2%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	2.2%	[2.2%, 2.2%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 762.519s -> 759.636s (-0.38%)
Artifact size: 337.06 MiB -> 337.10 MiB (0.01%)