//! `ConstraintGenerator::visit(const ScopePtr&, AstStatReturn*)`
//! (ConstraintGenerator.cpp:1961).
//!
//! The translated implementation lives in
//! `constraint_generator_visit_constraint_generator_alt_i`; this module
//! intentionally carries no duplicate `impl` to avoid `E0592`.
