Add function that returns span of an item in smir

[ouz-a]

Addressees rust-lang/project-stable-mir#31

Maybe we should change Span = Opaque into something else, and then return String with newly added function, I don't think it matters that much though, since we are not storing Span anywhere.

r? @oli-obk

[rustbot]

This PR changes Stable MIR

cc @oli-obk, @celinval, @spastorino

[oli-obk]

Yea, I wanna change Span to be able to add methods on it that query data from TyCtxt. This PR is orthogonal to that tho

@bors r+

[bors]

📌 Commit d190ebf has been approved by oli-obk

It is now in the queue for this repository.

[bors]

⌛ Testing commit d190ebf with merge c1b38c7...

[bors]

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

[bors]

👀 Test was successful, but fast-forwarding failed: 422 Update is not a fast forward

[rust-timer]

Finished benchmarking commit (c1b38c7): 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)	-1.4%	[-1.9%, -0.7%]	3
Improvements ✅ (secondary)	-4.2%	[-4.2%, -4.2%]	1
All ❌✅ (primary)	-1.4%	[-1.9%, -0.7%]	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)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-3.0%	[-3.0%, -3.0%]	1
All ❌✅ (primary)	-	-	0

Binary size

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

Bootstrap: 628.91s -> 629.541s (0.10%)
Artifact size: 318.15 MiB -> 318.14 MiB (-0.01%)

[compiler-errors]

@bors retry

[bors]

⌛ Testing commit d190ebf with merge 8ed4537...

[bors]

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

[rust-timer]

Finished benchmarking commit (8ed4537): 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)	1.4%	[1.4%, 1.4%]	1
Regressions ❌ (secondary)	2.3%	[2.3%, 2.3%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.4%	[1.4%, 1.4%]	1

Cycles

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

Binary size

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

Bootstrap: 628.555s -> 627.878s (-0.11%)
Artifact size: 317.86 MiB -> 317.90 MiB (0.01%)