reproduce issues with no-unreachable-types

Author: dotansimha

integration-tests/tests/api/policy/policy-check.spec.ts

@@ -17,6 +17,103 @@ export const createPolicy = (level: RuleInstanceSeverityLevel): SchemaPolicyInpu
 
 describe('Schema policy checks', () => {
   describe('model: composite', () => {
+    it.only('no-unreachable-types issue: directives are not scanned/marked as unused', async () => {
+      const policyObject: SchemaPolicyInput = {
+        rules: [
+          {
+            ruleId: 'no-unreachable-types',
+            severity: RuleInstanceSeverityLevel.Error,
+          },
+        ],
+      };
+
+      const { tokens, policy } = await prepareProject(ProjectType.Federation);
+      await policy.setOrganizationSchemaPolicy(policyObject, true);
+      const cli = createCLI(tokens.registry);
+
+      await cli.publish({
+        sdl: /* GraphQL */ `
+          type Query {
+            a: String!
+          }
+        `,
+        serviceName: 'a',
+        serviceUrl: 'https://api.com/a',
+        expect: 'latest-composable',
+      });
+
+      await cli.publish({
+        sdl: /* GraphQL */ `
+          type Query {
+            b: String!
+          }
+        `,
+        serviceName: 'b',
+        serviceUrl: 'https://api.com/b',
+        expect: 'latest-composable',
+      });
+
+      const rawMessage = await cli.check({
+        sdl: /* GraphQL */ `
+          scalar Unused
+
+          scalar Used
+
+          directive @hasRole(role: Role!) on QUERY | MUTATION | FIELD_DEFINITION
+
+          directive @hasRoles(roles: [Role!]) on QUERY | MUTATION | FIELD_DEFINITION
+
+          enum Role {
+            admin
+            user
+          }
+
+          enum Permission {
+            read
+            write
+            create
+            delete
+          }
+
+          type Query {
+            userRole(roleID: Int!): UserRole! @hasRole(role: admin)
+            scalar: Used
+          }
+
+          type UserRole {
+            id: ID!
+            name: String!
+          }
+        `,
+        serviceName: 'c',
+        expect: 'rejected',
+      });
+      const message = stripAnsi(rawMessage);
+
+      expect(message).toContain(`Detected 2 errors`);
+      expect(message.split('\n').slice(1)).toEqual([
+        '✖ Detected 5 errors',
+        '',
+        '   - Scalar type `Unused` is unreachable. (source: policy-no-unreachable-types)',
+        '   - Enum type `Permission` is unreachable. (source: policy-no-unreachable-types)',
+        '',
+        'ℹ Detected 7 changes',
+        '',
+        '   Safe changes:',
+        '    - Type Permission was added',
+        '    - Type Role was added',
+        '    - Type Unused was added',
+        '    - Type Used was added',
+        '    - Type UserRole was added',
+        '    - Field scalar was added to object type Query',
+        '    - Field userRole was added to object type Query',
+        '',
+        'View full report:',
+        expect.any(String),
+        '',
+      ]);
+    });
+
     it('Federation project with policy with only warnings, should check only the part that was changed', async () => {
       const { tokens, policy } = await prepareProject(ProjectType.Federation);
       await policy.setOrganizationSchemaPolicy(