Revert "Add expansion info to implied bounds"

[JonathanBrouwer]

This reverts PR #157702 because it causes an ICE and a significant perf regression. This PR also adds a regression test for the ICE.

r? ghost
cc @oli-obk @estebank @davidtwco

Fixes #158093

[rustbot]

HIR ty lowering was modified

cc @fmease

[rustbot]

⚠️ Warning ⚠️

• There are issue links (such as #123) in the commit messages of the following commits.
  Please move them to the PR description, to avoid spamming the issues with references to the commit, and so this bot can automatically canonicalize them to avoid issues with subtree.
  • 0676d2e

[JonathanBrouwer]

@bors try @rust-timer queue

[rust-bors]

☀️ Try build successful (CI)
Build commit: 7e32970 (7e3297093340be87843a6cfe127723386872d136)
Base parent: 8e15021 (8e150217bafcaaaa0c45bf685c55fd56cec48598)

[rust-timer]

Finished benchmarking commit (7e32970): comparison URL.

Overall result: ✅ improvements - no action needed

Benchmarking means the PR may be perf-sensitive. It's automatically marked not fit for rolling up. Overriding is possible but disadvised: it risks changing compiler perf.

@bors rollup=never
@rustbot label: -S-waiting-on-perf -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	1.1%	[0.8%, 1.4%]	2
Improvements ✅ (primary)	-0.6%	[-2.8%, -0.1%]	76
Improvements ✅ (secondary)	-0.6%	[-1.8%, -0.2%]	56
All ❌✅ (primary)	-0.6%	[-2.8%, -0.1%]	76

Max RSS (memory usage)

Results (primary -1.9%, secondary -2.3%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	1.0%	[1.0%, 1.0%]	1
Regressions ❌ (secondary)	5.0%	[2.5%, 6.1%]	4
Improvements ✅ (primary)	-2.1%	[-4.2%, -0.6%]	24
Improvements ✅ (secondary)	-5.2%	[-12.7%, -0.9%]	10
All ❌✅ (primary)	-1.9%	[-4.2%, 1.0%]	25

Cycles

Results (primary -3.0%, secondary -2.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	2.5%	[2.2%, 2.7%]	3
Improvements ✅ (primary)	-3.0%	[-4.4%, -2.0%]	16
Improvements ✅ (secondary)	-3.3%	[-5.1%, -2.3%]	17
All ❌✅ (primary)	-3.0%	[-4.4%, -2.0%]	16

Binary size

Results (primary -1.7%, secondary -1.7%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-1.7%	[-11.0%, -0.0%]	110
Improvements ✅ (secondary)	-1.7%	[-10.7%, -0.0%]	66
All ❌✅ (primary)	-1.7%	[-11.0%, -0.0%]	110

Bootstrap: 481.812s -> 480.604s (-0.25%)
Artifact size: 390.71 MiB -> 391.19 MiB (0.12%)

[JonathanBrouwer]

r? compiler

[JonathanBrouwer]

If you have r+ privileges, you can self-approve a revert if the revert is clean and is unlikely to cause new regressions on its own

The revert was clean and I think unlikely to cause regressions
@bors r+ rollup=never

[rust-bors]

📌 Commit 1e5f587 has been approved by JonathanBrouwer

It is now in the queue for this repository.

🌲 The tree is currently closed for pull requests below priority 5. This pull request will be tested once the tree is reopened.

[JonathanBrouwer]

@bors p=5
Scheduling this to run after the rollup

[rust-log-analyzer]

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

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

...............................F.................. (50/144)
.................................................. (100/144)
............................................       (144/144)

======== tests/rustdoc-gui/go-to-collapsed-elem.goml ========

[ERROR] line 40
    at `tests/rustdoc-gui/go-to-collapsed-elem.goml` line 21: Error: Node is detached from document: for command `click: "//*[@id='search']//a[@href='../test_docs/struct.Foo.html#method.must_use']"`
    at <file:///checkout/obj/build/x86_64-unknown-linux-gnu/test/rustdoc-gui/doc/test_docs/struct.Foo.html?search=t_use>


<= doc-ui tests done: 143 succeeded, 1 failed, 0 filtered out

Error: ()

[rust-bors]

💔 Test for 272d4be failed: CI. Failed job:

• auto - x86_64-gnu-tools (web logs, enhanced plaintext logs)

[JonathanBrouwer]

@bors retry

[rust-bors]

⌛ Testing commit 1e5f587 with merge d806608...

Workflow: https://github.com/rust-lang/rust/actions/runs/27833559400