fn resolve_stmt<'tcx>(
    visitor: &mut RegionResolutionVisitor<'tcx>,
    stmt: &'tcx Stmt<'tcx>
)