{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    Some((adt.variant_of_res(def), adt.did(), Self::user_args_for_adt(ty)))
                _ => bug!("unexpected type: {:?}", ty.normalized),