Enum SkipReason 

pub enum SkipReason {
    EmptyBody,
    BindingOnlyTail,
    MissingResolution,
    BindingSlotLookupMissing,
    PatternSlotShortfall,
    BuiltinCtorConstruction,
    BuiltinCtorPattern,
    UnresolvedCtor,
    UnsupportedCallee,
    BuiltinRecord,
    UnsupportedTry,
    UnsupportedTailCall,
    UnsupportedList,
    UnsupportedTuple,
    UnsupportedMap,
    UnsupportedInterpolatedStr,
    UnsupportedIndependentProduct,
    UnresolvedIdent,
    UnsupportedOther,
}

Why a single ResolvedFnDef failed to lower.

One variant per source-level reason — the dominant unsupported shape inside the fn body. Wave PRs sequentially remove reasons from the live set; once the set is empty the lowerer is corpus-complete on the shipped examples.

Variants

EmptyBody

ResolvedFnDef.body had no statements. Frontend should have rejected this earlier; recorded for safety.

BindingOnlyTail

Single-stmt body whose only statement is a binding (no tail expression). Well-typed Aver can’t produce this, but the lowerer guards anyway.

MissingResolution

Multi-stmt body, FnResolution not populated by the resolver pass — usually means the fn wasn’t visited.

BindingSlotLookupMissing

Binding referenced by name didn’t resolve to a slot via FnResolution.local_slots. Indicates a resolver gap.

PatternSlotShortfall

Match arm’s binding_slots had fewer slots than the pattern’s preorder binding count. Indicates a resolver / pattern desync.

BuiltinCtorConstruction

Built-in constructor construction (Result.Ok(v), Option.Some(v), …) — wave 3c-i territory. Built-in ctors need a typed identity story beyond raw CtorId.

BuiltinCtorPattern

Built-in constructor pattern (Result.Ok(v) -> ..., Option.Some(v) -> ...) — same wave 3c-i territory as the construction side.

UnresolvedCtor

Result-like ctor whose CtorId didn’t resolve — usually a typecheck error that leaked past the gate. Drops the fn rather than panic on a half-resolved ctor.

UnsupportedCallee

First-class fn value / intrinsic / unresolved call target. Wave 3c-iii (closures / intrinsics) territory.

BuiltinRecord

Record{...} / Record{base & ...} on a built-in type (HttpResponse, Header, Buffer, …) with no TypeId. Wave 3c-i / 3c-iv territory depending on the type.

UnsupportedTry

Try (the ? propagation node) — wave 3c-ii.

UnsupportedTailCall

Tail call — wave 3c-iii.

UnsupportedList

List literal — wave 3c-iv.

UnsupportedTuple

Tuple literal — wave 3c-iv.

UnsupportedMap

Map literal — wave 3c-iv.

UnsupportedInterpolatedStr

Interpolated string — wave 3c-iv.

UnsupportedIndependentProduct

IndependentProduct (?! / !) — wave 3c-v.

UnresolvedIdent

Unresolved top-level Ident that survived past the resolver — usually a resolver gap. Drops the fn rather than emit a half-resolved name.

UnsupportedOther

A ResolvedExpr variant the lowerer doesn’t recognise at all. Should be empty after wave 3c lands — anything here points to a missed variant.

Implementations

impl SkipReason

pub fn label(self) -> &'static str

Short human-readable label for dumps / diagnostics.

Trait Implementations

impl Clone for SkipReason

fn clone(&self) -> SkipReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SkipReason

impl Debug for SkipReason

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

Formats the value using the given formatter.

impl Eq for SkipReason

impl Hash for SkipReason

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 SkipReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SkipReason