Uplift ClauseKind and PredicateKind into rustc_type_ir

[compiler-errors]

Uplift ClauseKind and PredicateKind into rustc_type_ir.

Blocked on #116951

r? @ghost

[rustbot]

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

This PR changes Stable MIR

cc @oli-obk, @celinval, @spastorino, @ouz-a

[compiler-errors]

SMIR: this glob import doesn't work anymore because we don't import variants when glob-importing from a type alias. I opted to just refer to these variants by their qualified name -- imo, it's also not that big of a deal, since we're literally doing the same thing for PredicateKind right above.

[bors]

☔ The latest upstream changes (presumably #116958) made this pull request unmergeable. Please resolve the merge conflicts.

[jackh726]

@bors r+

[bors]

📌 Commit 573f475 has been approved by jackh726

It is now in the queue for this repository.

[bors]

⌛ Testing commit 573f475 with merge 98108dc...

[bors]

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 98108dc to master...

[rust-timer]

Finished benchmarking commit (98108dc): comparison URL.

Overall result: ✅ improvements - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.5%	[-0.8%, -0.2%]	14
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.5%	[-0.8%, -0.2%]	14

Max RSS (memory usage)

Results

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.2%	[4.2%, 4.2%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Cycles

Results

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)	5.8%	[5.1%, 7.2%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Binary size

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

Bootstrap: missing data
Artifact size: 304.40 MiB -> 304.45 MiB (0.02%)