Remove intercrate and mark_ambiguous from TypeRelation

[compiler-errors]

Fixes #109863

Pulls this logic into super_combine_tys, which has access to InferCtxt and takes a ObligationEmittingRelation -- both of which simplify the logic here.

r? @oli-obk @aliemjay

[oli-obk]

Oh, that's smart. Thanks!

@bors r+

[bors]

📌 Commit a368316 has been approved by oli-obk

It is now in the queue for this repository.

[bors]

⌛ Testing commit a368316 with merge be8e5ba...

[bors]

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing be8e5ba to master...

[rust-timer]

Finished benchmarking commit (be8e5ba): 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

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%	[-3.0%, -2.5%]	3
Improvements ✅ (secondary)	-1.3%	[-1.3%, -1.3%]	2
All ❌✅ (primary)	-2.8%	[-3.0%, -2.5%]	3

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)	3.1%	[0.6%, 5.4%]	11
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.5%	[-3.3%, -1.7%]	5
All ❌✅ (primary)	3.1%	[0.6%, 5.4%]	11