Struct DefId 

pub struct DefId(pub u32);

Solver-owned definition identifier.

Unlike SymbolRef which references Binder symbols, DefId is owned by the Solver and can be created without Binder context.

Comparison with SymbolRef

Aspect	SymbolRef	DefId
Owner	Binder	Solver
Stable across edits	No	Yes (with content-hash)
Requires Binder	Yes	No
Supports testing	Limited	Full

Tuple Fields

0: u32

Implementations

impl DefId

pub const INVALID: Self

Sentinel value for invalid DefId.

pub const FIRST_VALID: u32 = 1

First valid DefId.

pub const fn is_valid(self) -> bool

Check if this DefId is valid.

Trait Implementations

impl Clone for DefId

fn clone(&self) -> DefId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefId

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

Formats the value using the given formatter.

impl Hash for DefId

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 DefId

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DefId

impl Eq for DefId

impl StructuralPartialEq for DefId