{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"hir_ty.map(|hir_ty|"}]}
                    hir_ty.map(|hir_ty| self.lower_ty_saving_user_provided_ty(hir_ty));
                let ascribed_ty =
                let hint_ty = ascribed_ty.unwrap_or_else(|| self.next_ty_var(inner_expr.span));