fn ascending_step<'hir>(expr: &'hir Expr<'hir>) -> Option<VariableId>
The bare identifier an expression steps upward, if it is one of the simple ascending forms.