{"ast_node_type":"variable","tokens":[{"end":98,"kind":"keyword","start":0,"text":"let"}]}
                    let new_res = Res::Def(DefKind::Ctor(CtorOf::Struct, ctor_kind), ctor_def_id);
                    }
                    let user_args = Self::user_args_for_adt(ty);