Struct MaybePos 

pub struct MaybePos {
    pub line: SentinelOption<u32>,
    pub column: SentinelOption<u32>,
    pub offset: SentinelOption<u32>,
}

A Pos whose fields may individually be unknown.

Backed by SentinelOption, so this is 12 bytes — the same as Pos: nullability is free because u32::MAX is reserved rather than a tag being carried.

For ENGINE-produced positions that reservation costs nothing — the lexer caps them far below the ceiling (LexError::InputTooLarge), the same assumption crate::Token already rests on. It is NOT free for positions that arrive from host code: a binding that lets user callbacks supply meta or token positions can be handed u32::MAX, which reads back as unknown. Such a boundary must convert with the total SentinelOption::new, never From<Option<u32>> (which routes through the debug-asserting SentinelOption::some).

Fields

line: SentinelOption<u32>

column: SentinelOption<u32>

offset: SentinelOption<u32>

Implementations

impl MaybePos

pub const NONE: MaybePos

The all-unknown point.

pub fn known(p: Pos) -> MaybePos

Every field known.

pub fn resolve(self) -> Option<Pos>

The resolved point, or None if ANY field is unknown — the check child_span used to spell out field by field.

Trait Implementations

impl Clone for MaybePos

fn clone(&self) -> MaybePos

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MaybePos

impl Debug for MaybePos

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

Formats the value using the given formatter.

impl Default for MaybePos

fn default() -> MaybePos

Returns the “default value” for a type.

impl Eq for MaybePos

impl Hash for MaybePos

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MaybePos

fn eq(&self, other: &MaybePos) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MaybePos