pub(crate) fn func_sort( genv: GlobalEnv<'_, '_>, def_id: FluxLocalDefId, ) -> QueryResult<PolyFuncSort>