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