pub fn assumed_ranges_in(
stmts: &[Stmt<'_>],
interner: &Interner,
) -> Vec<AssumedRange>Expand description
Recover every declared range from parsed statements: each enforced (hard) RuntimeAssert
whose condition is the between desugar shape lo <= x and x <= hi with literal bounds.
Walks function bodies and nested blocks — a contract is a contract wherever it is stated.