[flow] Skip constraint caching for more kinds of use_ts

Summary:
They don't seem to depend on the constraint cache to ensure termination.

Changelog: [internal]

Reviewed By: panagosg7

Differential Revision: D85766684

fbshipit-source-id: dce21c7fdf5ef2ef317ba0e12188fa59edbda55d

Author: SamChou19815

src/typing/flow_cache.ml

@@ -29,7 +29,11 @@ module FlowConstraint = struct
      * have defense against bad cyclic types. *)
     | (_, ConcretizeT _) ->
       false
-    | (_, (BindT _ | CallT _ | MethodT _ | PrivateMethodT _ | ConstructorT _)) -> false
+    | ( _,
+        ( BindT _ | CallT _ | MethodT _ | PrivateMethodT _ | ConstructorT _ | ObjRestT _
+        | ObjTestT _ | ArrRestT _ )
+      ) ->
+      false
     | _ ->
       (* Use ops are purely for better error messages: they should have no
          effect on type checking. However, recursively nested use ops can pose