{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"field_ty.clone().substitute(Interner,"}]}
                                field_ty.clone().substitute(Interner, subst),
                            db.has_drop_glue(
                                env.clone(),