{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"self.fold_ty(t)"}]}
                        self.fold_ty(t)
                        debug!("(resolved to {:?})", t);
                    }