rustc panics with &'static [u8] and ouroboros self_referencing

[muja]

While trying to check my code with miri, I had to replace occurrences of std::fs::File with &'static [u8] (and use include_bytes!).

The following code triggers a rustc panic. The same code with std::fs::File compiles fine.

use ouroboros::self_referencing;
use rc_zip::reader::sync::{EntryReader, HasCursor, SyncArchive};

#[self_referencing]
pub struct Docx {
    file: &'static [u8],
    #[borrows(file)]
    #[covariant]
    arc: SyncArchive<'this, &'static [u8]>,
    #[borrows(arc)]
    #[covariant]
    readers: Vec<xml::EventReader<EntryReader<<&'static [u8] as HasCursor>::Cursor<'this>>>>,
}

fn main(){}

stderr/stdout combined (was too long for GitHub, so attaching): output.txt

The same error occurs with stable: note: rustc 1.71.0 (8ede3aae2 2023-07-12) running on x86_64-apple-darwin

Cargo.toml:

[package]
name = "ziptest"
version = "0.1.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
ouroboros = "0.17.2"
rc-zip = "2.0.1"

xml-rs = "0.8.16"

Cargo.lock is attached.

[muja]

I believe this has to do with the GAT inside HasCursor. Replacing that with the hard-coded associated type doesn't panic

[fmease]

For searchability, here is the linked ICE message:

error: internal compiler error: /rustc/903e279f468590fa3425f8aff7f3d61a5a873dbb/compiler/rustc_infer/src/infer/outlives/env.rs:148:26: add_outlives_bounds: unexpected regions: (RePlaceholder(!7_BoundRegion { var: 0, kind: BrNamed(DefId(0:26 ~ ziptest[6cbf]::ouroboros_impl_docx_processor::DocxProcessorBuilder::'this#1), 'this) }), ReStatic)

[matthiaskrgr]

could be related to #113793