{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"Some(adt)"}]}
                Some(adt) => {
            Res::Def(DefKind::Variant, _) => match ty.normalized.ty_adt_def() {
                    Some((adt.variant_of_res(def), adt.did(), Self::user_args_for_adt(ty)))