uncheckedProviders method
The providers that the harness checks no module with, though the module requires or uses their role, one line for each: a provider of a role that a module of the registry requires or uses, which can be in an app with the module (see casesOfModule) but provides the role in no app of the cases of the module. Either no case asks for the provider, or the apps of those that do fail to resolve, such as when no module of the registry provides a role that the provider requires.
The tests of a registry expect none, so that the harness checks each module with every provider of its roles, also when a role gets another provider.
Implementation
Future<List<String>> uncheckedProviders() async => [
for (final module in registry.modules)
..._uncheckedProvidersOf(module, await _resolvedAppsOf(module)),
];