Function adt_def

pub(crate) fn adt_def(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
) -> QueryResult<AdtDef>