Move a inner function in the scope where it is used

Summary: As titled.

Reviewed By: dkgi

Differential Revision: D28984019

fbshipit-source-id: 4c2277579bf7708da93db6b52361eb73e75ccc59

Author: arthaud

source/interprocedural_analyses/taint/features.ml

@@ -187,14 +187,14 @@ module ReturnAccessPath = struct
   let less_or_equal ~left ~right = Abstract.TreeDomain.Label.is_prefix ~prefix:right left
 
   let widen set =
-    let truncate = function
-      | p when List.length p > TaintConfiguration.maximum_return_access_path_depth ->
-          List.take p TaintConfiguration.maximum_return_access_path_depth
-      | x -> x
-    in
     if List.length set > TaintConfiguration.maximum_return_access_path_width then
       [[]]
     else
+      let truncate = function
+        | p when List.length p > TaintConfiguration.maximum_return_access_path_depth ->
+            List.take p TaintConfiguration.maximum_return_access_path_depth
+        | x -> x
+      in
       List.map ~f:truncate set
 end