Struct ModuleResolutionCandidate 

#[non_exhaustive]
pub struct ModuleResolutionCandidate {
    pub request_index: usize,
    pub directive_item: Option<HirId>,
    pub request_kind: ModuleRequestKind,
    pub target: String,
    pub relative_path: String,
    pub roots: Vec<ModuleResolutionCandidateRoot>,
    pub status: ModuleResolutionCandidateStatus,
    pub resolved_path: Option<String>,
    pub range: SourceLocation,
    pub package_context: Option<String>,
    pub provenance: CompileProvenance,
    pub confidence: CompileConfidence,
}

Derived module-resolution candidate fact keyed to a HIR module request.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

request_index: usize

Zero-based request index in CompileEnvironment::module_requests.

directive_item: Option<HirId>

Directive HIR item that produced this request.

request_kind: ModuleRequestKind

Source shape that requested the module.

target: String

Static module target.

relative_path: String

Relative module path, for example Foo/Bar.pm.

roots: Vec<ModuleResolutionCandidateRoot>

Ordered candidate roots considered for this request.

status: ModuleResolutionCandidateStatus

Resolution status for this candidate packet.

resolved_path: Option<String>

Candidate path selected by the resolver, when a matching file exists.

range: SourceLocation

Source range for the request.

package_context: Option<String>

Package context active at the request.

provenance: CompileProvenance

How this fact was produced.

confidence: CompileConfidence

Confidence in this fact.

Implementations

impl ModuleResolutionCandidate

pub fn cache_key(&self, resolver_epoch: u64) -> ModuleResolutionCacheKey

Build the cache key for this module-resolution candidate.

The key intentionally records request identity, root provenance/order, candidate paths, source anchor, and resolver epoch, but not the current resolution outcome. Candidate existence is tracked separately as an invalidation input so file appearance/removal can invalidate a cached result without changing the request identity.

pub fn cache_invalidation( &self, resolver_epoch: u64, path_exists: impl FnMut(&str) -> bool, ) -> ModuleResolutionCacheInvalidation

Build cache invalidation inputs for this candidate.

The caller supplies the path-existence predicate; parser-core still does not read ambient process state or inspect the filesystem directly.

Trait Implementations

impl Clone for ModuleResolutionCandidate

fn clone(&self) -> ModuleResolutionCandidate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleResolutionCandidate

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

Formats the value using the given formatter.

impl Eq for ModuleResolutionCandidate

impl PartialEq for ModuleResolutionCandidate

fn eq(&self, other: &ModuleResolutionCandidate) -> 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 StructuralPartialEq for ModuleResolutionCandidate