Module resolve 

Expression / argument resolution: syn::Expr → semantic values.

The numeric-expression layer is parsed by the pest grammar (pest_conv.rs); everything that still needs rustc’s type context or syn structure lives here: places (via place.rs), const generics, builtin integer bounds, the x.len() sugar, tag argument types/targets, and ValidNum predicates.

Functions

build_interval_predicates 🔒

expr_to_pest 🔒

int_type_min_max 🔒

outermost_type_ident 🔒

Extract the outermost path segment name from a syn::Type, e.g. Option from Option<NonZero<T>> or NonZero from NonZero<T>.

parse_builtin_const 🔒

parse_const_param 🔒

parse_contract_expr 🔒

parse_interval_predicates 🔒

parse_numeric_predicate 🔒

parse_string_interval 🔒

parse_target_arg 🔒

parse_type 🔒

parse_valid_num 🔒

resolve_ty_ident 🔒

Resolve a type identifier to a Ty, handling the Self keyword (which match_ty_with_ident does not understand) by delegating to resolve_type_name.

resolve_type_name 🔒

unwrap_array_expr 🔒

Extract the inner type from [T] (the SplitTransmute([T], [U]) notation), then resolve it via parse_type. The [T] argument arrives as either Expr::Array (JSON path, parsed via syn::parse_str::<Expr>) or Expr::Verbatim (source annotation path, where parse_property_arg’s type-first parse turns Type::Slice into Verbatim); both are unwrapped to the element type T.