ice: coroutine: attempted to add with overflow

auto-reduced (treereduce-rust):

async fn empty() {}

async fn meow(a: [u8; 0xffff_ffff_ffff_ffff]) {
    empty().await;
    dbg!(a);
}

original:

async fn empty() {}

async fn meow(a: [u8; 0xffff_ffff_ffff_ffff]) {
	empty().await;
	dbg!(a);
}

fn main() {
	let v = meow([0, 4, 1, 5]);
	let e = [0u8; 202];
	let _ = || unsafe {
		use std::{mem, ptr};
		let mut copy = bar::read(&v);
		ptr::write(&mut copy, mem::transmute(ptr::read(&e)));
		mem::forget(copy);
	};
}

Version information

rustc 1.76.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.76.0-dev
LLVM version: 17.0.5

Start with compiler/rustc_mir_transform/src/coroutine.rs at line 2039 and reproduce the ICE using the reduced async Rust example in the issue. Trace the overflowing addition in coroutine transformation and verify that compiling the reduced case no longer panics with an overflow.