[flow][EZ] Kill reason_of_t_add_id and reason_of_use_t_add_id

Summary:
Unused for years, delete.

Changelog: [internal]

Reviewed By: panagosg7

Differential Revision: D56659975

fbshipit-source-id: 327a86c90ee111376fe85c0e18165bdcd4de7bc6

src/typing/trace.ml

@@ -143,11 +143,11 @@ let reasons_of_trace ?(level = 0) trace =
     ( if is_pipelined_tvar ~steps ~i lower then
       []
     else
-      [pretty_r (reason_of_t_add_id lower) (spf "%s " (string_of_ctor lower)) ""]
+      [pretty_r (reason_of_t lower) (spf "%s " (string_of_ctor lower)) ""]
     )
     @ [
         pretty_r
-          (reason_of_use_t_add_id upper)
+          (reason_of_use_t upper)
           (spf "~> %s " (string_of_use_ctor upper))
           ( if parent = [] then
             ""

src/typing/typeUtil.ml

@@ -156,17 +156,6 @@ and reason_of_use_t = function
   | ExitRendersT { renders_reason; _ } -> renders_reason
   | EvalTypeDestructorT { reason; _ } -> reason
 
-(* helper: we want the tvar id as well *)
-(* NOTE: uncalled for now, because ids are nondetermistic
-   due to parallelism, which messes up test diffs. Should
-   add a config, but for now must uncomment impl to use *)
-let reason_of_t_add_id = reason_of_t
-
-(* function
-   | OpenT (r, id) -> prefix_reason (spf "%d: " id) r
-   | t -> reason_of_t t *)
-let reason_of_use_t_add_id = reason_of_use_t
-
 let desc_of_t = reason_of_t %> desc_of_reason
 
 let loc_of_t = reason_of_t %> loc_of_reason

src/typing/typeUtil.mli

@@ -13,10 +13,6 @@ val reason_of_defer_use_t : Type.defer_use_t -> reason
 
 val reason_of_use_t : Type.use_t -> reason
 
-val reason_of_t_add_id : Type.t -> reason
-
-val reason_of_use_t_add_id : Type.use_t -> reason
-
 val desc_of_t : Type.t -> reason_desc
 
 val loc_of_t : Type.t -> ALoc.t