Add CoroutineWitness to covered types in smir

[ouz-a]

Previously we accepted CouroutineWitness as unreachable! but rust-lang/project-stable-mir#50 shows it is indeed reachable, this pr fixes that and covers CouroutineWitness

[rustbot]

r? @cjgillot

(rustbot has picked a reviewer for you, use r? to override)

[rustbot]

This PR changes Stable MIR

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

[ouz-a]

r? @celinval

[rustbot]

Failed to set assignee to celinval: invalid assignee

Note: Only org members with at least the repository "read" role, users with write permissions, or people who have commented on the PR may be assigned.

[celinval]

@bors r+ rollup

[bors]

📌 Commit 6812f64 has been approved by celinval

It is now in the queue for this repository.

[bors]

⌛ Testing commit 6812f64 with merge d97bb19...

[bors]

☀️ Test successful - checks-actions
Approved by: celinval
Pushing d97bb19 to master...

[rust-timer]

Finished benchmarking commit (d97bb19): 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.8%	[0.8%, 0.8%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.8%	[0.8%, 0.8%]	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: 674.599s -> 673.271s (-0.20%)
Artifact size: 311.12 MiB -> 311.10 MiB (-0.00%)