Shared: Move hasManualModel into RelevantSummarizedCallable

Author: hvitved

shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll

@@ -308,13 +308,6 @@ module Make<
         string input, string output, boolean preservesValue, Provenance p, boolean isExact,
         string model
       );
-
-      /**
-       * Holds if there exists a manual summary that applies to this callable.
-       */
-      final predicate hasManualModel() {
-        any(Provenance p | this.propagatesFlow(_, _, _, p, _, _)).isManual()
-      }
     }
 
     final private class SummarizedCallableFinal = SummarizedCallable;
@@ -332,6 +325,14 @@ module Make<
      */
     final class RelevantSummarizedCallable extends SummarizedCallableFinal {
       RelevantSummarizedCallable() { this instanceof SummarizedCallableImpl }
+
+      /**
+       * Holds if there exists a manual summary that applies to this callable.
+       */
+      final predicate hasManualModel() {
+        any(Provenance p | this.(SummarizedCallableImpl).propagatesFlow(_, _, _, p, _, _))
+            .isManual()
+      }
     }
 
     /** A source element. */