{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"taits.insert(ty.clone());"}]}
                                taits.insert(ty.clone());
                                // may not visited while replacing TAITs
                                return ty;