do not care about ExtractedType now that we have incremental type checking

Author: zth

analysis/src/CompletionBackEnd.ml

@@ -1029,30 +1029,11 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
       |> completionsGetTypeEnv2 ~debug ~full ~opens ~rawOpens ~pos
     in
     match mainTypeCompletionEnv with
-    | None -> (
+    | None ->
       if Debug.verbose () then
         Printf.printf
-          "[dot_completion] Could not extract main type completion env. \
-           Checking for extracted type.\n";
-
-      match
-        completionsFromCtxPath
-        |> completionsGetCompletionType2 ~debug ~full ~opens ~rawOpens ~pos
-      with
-      | Some (ExtractedType typ, env) -> (
-        if Debug.verbose () then
-          Printf.printf "[dot_completion] Found extracted type\n";
-
-        match typ with
-        | Trecord {fields; definition} ->
-          fields
-          |> DotCompletionUtils.filterRecordFields ~env ~prefix:fieldName ~exact
-               ~recordAsString:
-                 (match definition with
-                 | `NameOnly name -> "type " ^ name
-                 | `TypeExpr t -> Shared.typeToString t)
-        | _ -> [])
-      | None | Some (TypeExpr _, _) -> [])
+          "[dot_completion] Could not extract main type completion env.\n";
+      []
     | Some (typ, env) ->
       if Debug.verbose () then
         Printf.printf "[dot_completion] env module path: %s, type: %s\n"

analysis/tests/src/CompletionInferValues.res

@@ -54,9 +54,6 @@ module Div = {
 // let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button->Belt.Int.toString->Js.String2.split("/"); btn->ma }} />
 //                                                                                                                                ^com
 
-// let x: someRecord = {name: "Hello", age: 123}; x.
-//                                                  ^com
-
 type someVariant = One | Two | Three(int, string)
 type somePolyVariant = [#one | #two | #three(int, string)]
 type someNestedRecord = {someRecord: someRecord}
@@ -115,10 +112,6 @@ type otherNestedRecord = {
 // let x: otherNestedRecord; switch x { | {optRecord:Some({name})} => name->slic }
 //                                                                              ^com
 
-// Follow arrays
-// let x: array<otherNestedRecord>; switch x { | [inner] => inner.s }
-//                                                                 ^com
-
 // Infer top level return
 // let x = 123; switch x { | 123 => () | v => v->toSt }
 //                                                   ^com