Struct SourceCache 

pub struct SourceCache { /* private fields */ }

Every source text, kept alive as long as the cache is, so the zero-copy pipeline can hand out &str slices into it.

The texts are held as raw pointers from Box::into_raw, which is load-bearing and was arrived at the hard way — Miri rejected the two obvious alternatives:

• Storing Box<str> and taking a reference before pushing. Vec::push moves the box, and moving one re-asserts unique ownership of its contents, which invalidates every slice already handed out. Reallocation moves them again. Box carries a genuine noalias guarantee that LLVM exploits, so this is not a technicality.
• Storing &'static str from Box::leak. Handing out slices is then safe, but Drop has to free them, and reconstructing a Box from a shared reference deallocates through provenance that never granted write access.

A raw pointer has no aliasing guarantee to violate: moving it inside the Vec retags nothing, shared references derived from it stay valid, and Drop frees through the same provenance it was created with. Checked under both Stacked Borrows and Tree Borrows; see references_survive_later_insertions_and_reallocation.

Implementations

impl SourceCache

pub fn new() -> Self

pub fn add(&self, name: String, text: String) -> (SourceId, &str)

Registers a source and returns a slice with the cache’s lifetime.

The slice is returned bounded by &self, so no caller can outlive the arena that owns it.

pub fn name(&self, id: SourceId) -> Option<String>

pub fn text(&self, id: SourceId) -> Option<&str>

Trait Implementations

impl Default for SourceCache

fn default() -> SourceCache

Returns the “default value” for a type.

impl Drop for SourceCache

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.