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