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 🔒

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_type_name 🔒

unwrap_array_expr 🔒

Extract the inner type from an Expr::Array (the [T] notation in SplitTransmute([T], [U])), then resolve it via parse_type.