{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"while"}]}
        while let TyKind::Ref(_, MutTy { ty, .. }) = &final_ty.kind {
        let mut final_ty = self.as_unambig_ty();
            final_ty = ty;