pub fn check_private_generics( module_id: &ModuleId, function: &IdentStr, ) -> Result<(), ExecutionError>