fn to_control_flow(expr: &Expr, expr_type: ExprType) -> Option<ControlFlow<'_>>