tweaks

Author: zth

analysis/src/ProcessExtra.ml

@@ -397,7 +397,8 @@ let expr ~env ~(extra : extra) (iter : Tast_iterator.iterator)
       |> Utils.filterMap (fun (desc, item, opt) ->
              match item with
              | Typedtree.Overridden (loc, _) -> Some (loc, desc, (), opt)
-             | _ -> None))
+             | _ -> None));
+    addLocItem extra expression.exp_loc (OtherExpression expression.exp_type)
   | Texp_constant constant ->
     addLocItem extra expression.exp_loc (Constant constant)
   (* Skip unit and list literals *)

analysis/src/TypeUtils.ml

@@ -37,7 +37,12 @@ let rec hasTvar (ty : Types.type_expr) : bool =
 
 let findTypeViaLoc ~full ~debug (loc : Location.t) =
   match References.getLocItem ~full ~pos:(Pos.ofLexing loc.loc_end) ~debug with
-  | Some {locType = Typed (_, typExpr, _)} -> Some typExpr
+  | Some
+      {
+        locType =
+          Typed (_, typExpr, _) | OtherExpression typExpr | OtherPattern typExpr;
+      } ->
+    Some typExpr
   | _ -> None
 
 let pathFromTypeExpr (t : Types.type_expr) =