Struct EmitOptions 

pub struct EmitOptions<'a> {
    pub emit_debug_info: bool,
    pub debug_sources: Option<&'a BTreeMap<FileId, String>>,
}

Codegen-facing knobs for one emit call. emit_debug_info is the only field today — a struct (not a bare bool parameter) so a future knob (e.g. a D7 “populate locals” toggle) doesn’t need another emit_with_* overload.

Fields

emit_debug_info: bool

Emit the SectionKind::DebugInfo section (docs/debugger-spec.md §2). false (the Default) reproduces today’s emit() behavior byte-for-byte — this is what the ship-policy ruling (§1.2) and the oracle-safety guarantee both depend on.

debug_sources: Option<&'a BTreeMap<FileId, String>>

Source text per file, for the DebugInfo file table’s source_hash and line_starts (#3261). Only read when emit_debug_info is set, so a release compile never pays for gathering it.

The text must be exactly what the compiler consumed — the hash is a staleness detector and any normalisation applied here but not by a later reader (or vice versa) turns it into a permanent false alarm.

None (or a file missing from the map) means that file’s entry gets source_hash: 0 and no line index: the section is still valid and positions still resolve, but staleness cannot be detected and file:line lookups for that file are unavailable. Degrading rather than failing is deliberate — a debug artifact without the extras beats no debug artifact.

Trait Implementations

impl<'a> Clone for EmitOptions<'a>

fn clone(&self) -> EmitOptions<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Copy for EmitOptions<'a>

impl<'a> Debug for EmitOptions<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Default for EmitOptions<'a>

fn default() -> EmitOptions<'a>

Returns the “default value” for a type.

impl<'a> Eq for EmitOptions<'a>

impl<'a> PartialEq for EmitOptions<'a>

fn eq(&self, other: &EmitOptions<'a>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<'a> StructuralPartialEq for EmitOptions<'a>