{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"Some((adt.variant_of_res(def),"}]}
                    Some((adt.variant_of_res(def), adt.did(), Self::user_args_for_adt(ty)))
                Some(adt) => {
                }