Pass the correct size to the AllocRange for log_creation

[saethlin]

Fixes #2127

I guess all I needed was a bit of sleep and reassurance that this diagnostic is the wrong part of that situation.

[RalfJung]

Ah, makes sense. Did you check the other alloc_range calls in the file for similar problems?

Is there any way we can add a regression test for this?

[saethlin]

I did glance over the other calls and I didn't notice this mistake anywhere else.

I actually don't know if we already have a test for this, because the current tests don't check much of the output and there are a lot of them. Would the UI tests help with at least checking the contents of the diagnostics?

[oli-obk]

Would the UI tests help with at least checking the contents of the diagnostics?

I had to filter them pretty heavily to make them platform independent, so likely all the numbers will be gone

[RalfJung]

Can we use //~ HELP to match on them?

[oli-obk]

Can we use //~ HELP to match on them?

right now these also see the filtered version. That can be fixed tho

[RalfJung]

Okay.

Let's merge this now then, but keep the issue open to track adding a test.
@bors r+

[bors]

📌 Commit ada864f has been approved by RalfJung

[bors]

⌛ Testing commit ada864f with merge 9230b92...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 9230b92 to master...