Uplift RegionVid, TermKind to rustc_type_ir, and EagerResolver to rustc_next_trait_solver

[compiler-errors]

• Uplift RegionVid. This was complicated due to the fact that we implement polonius_engine::Atom for RegionVid -- but I just separated that into PoloniusRegionVid, and added From/Into impls so it can be defined in rustc_borrowck separately. Coherence 😵
• Change InferCtxtLike to expose opportunistically_resolve_{ty,ct,lt,int,float}_var so that we can uplift EagerResolver for use in the canonicalization methods.
• Uplift TermKind much like GenericArgKind

All of this is miscellaneous dependencies for making more EvalCtxt methods generic.

[compiler-errors]

r? lcnr

[rustbot]

r? @davidtwco

rustbot has assigned @davidtwco.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[rustbot]

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

[lcnr]

this comment is wrong :3

[lcnr]

r=me after nits

[compiler-errors]

@bors r=lcnr

[bors]

📌 Commit 9fa07a4 has been approved by lcnr

It is now in the queue for this repository.

[compiler-errors]

@bors rollup=never

[bors]

⌛ Testing commit 9fa07a4 with merge 9cb6bb8...

[bors]

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing 9cb6bb8 to master...

[rust-timer]

Finished benchmarking commit (9cb6bb8): comparison URL.

Overall result: ❌ regressions - 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.8%	[0.2%, 1.3%]	2
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

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

Cycles

Results (primary -2.8%, secondary -3.4%)

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

Binary size

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

Bootstrap: 671.714s -> 670.228s (-0.22%)
Artifact size: 315.43 MiB -> 316.14 MiB (0.23%)