track all typed patterns and expressions

zth · zth · commit ce4427797fc8 · 2025-03-27T20:56:41.000+01:00
diff --git a/analysis/src/Commands.ml b/analysis/src/Commands.ml
@@ -68,7 +68,9 @@ let hover ~path ~pos ~debug ~supportsMarkdownLinks =
         let isModule =
           match locItem.locType with
           | LModule _ | TopLevelModule _ -> true
-          | TypeDefinition _ | Typed _ | Constant _ -> false
+          | TypeDefinition _ | Typed _ | Constant _ | OtherExpression _
+          | OtherPattern _ ->
+            false
         in
         let uriLocOpt = References.definitionForLocItem ~full locItem in
         let skipZero =
@@ -126,7 +128,9 @@ let definition ~path ~pos ~debug =
           let isModule =
             match locItem.locType with
             | LModule _ | TopLevelModule _ -> true
-            | TypeDefinition _ | Typed _ | Constant _ -> false
+            | TypeDefinition _ | Typed _ | Constant _ | OtherExpression _
+            | OtherPattern _ ->
+              false
           in
           let skipLoc =
             (not isModule) && (not isInterface) && posIsZero loc.loc_start
diff --git a/analysis/src/Hover.ml b/analysis/src/Hover.ml
@@ -244,6 +244,8 @@ let newHover ~full:{file; package} ~supportsMarkdownLinks locItem =
       showModule ~docstring:file.structure.docstring ~name:file.moduleName ~file
         ~package None)
   | Typed (_, _, Definition (_, (Field _ | Constructor _))) -> None
+  | OtherExpression t | OtherPattern t ->
+    Some (Markdown.codeBlock (Shared.typeToString t))
   | Constant t ->
     Some
       (Markdown.codeBlock
diff --git a/analysis/src/ProcessExtra.ml b/analysis/src/ProcessExtra.ml
@@ -383,7 +383,7 @@ let pat ~(file : File.t) ~env ~extra (iter : Tast_iterator.iterator)
     (* Log.log("Pattern " ++ name.txt); *)
     let stamp = Ident.binding_time ident in
     addForPattern stamp name
-  | _ -> ());
+  | _ -> addLocItem extra pattern.pat_loc (OtherPattern pattern.pat_type));
   Tast_iterator.default_iterator.pat iter pattern
 
 let expr ~env ~(extra : extra) (iter : Tast_iterator.iterator)
@@ -409,7 +409,8 @@ let expr ~env ~(extra : extra) (iter : Tast_iterator.iterator)
   | Texp_field (inner, lident, _label_description) ->
     addForField ~env ~extra ~recordType:inner.exp_type
       ~fieldType:expression.exp_type lident
-  | _ -> ());
+  | _ ->
+    addLocItem extra expression.exp_loc (OtherExpression expression.exp_type));
   Tast_iterator.default_iterator.expr iter expression
 
 let getExtra ~file ~infos =
diff --git a/analysis/src/References.ml b/analysis/src/References.ml
@@ -358,7 +358,7 @@ let definitionForLocItem ~full:{file; package} locItem =
   | Typed (_, _, NotFound)
   | LModule (NotFound | Definition (_, _))
   | TypeDefinition (_, _, _)
-  | Constant _ ->
+  | Constant _ | OtherExpression _ | OtherPattern _ ->
     None
   | TopLevelModule name -> (
     maybeLog ("Toplevel " ^ name);
@@ -405,7 +405,9 @@ let digConstructor ~env ~package path =
 
 let typeDefinitionForLocItem ~full:{file; package} locItem =
   match locItem.locType with
-  | Constant _ | TopLevelModule _ | LModule _ -> None
+  | Constant _ | TopLevelModule _ | LModule _ | OtherExpression _
+  | OtherPattern _ ->
+    None
   | TypeDefinition _ -> Some (file.uri, locItem.loc)
   | Typed (_, typ, _) -> (
     let env = QueryEnv.fromFile file in
@@ -546,7 +548,10 @@ let allReferencesForLocItem ~full:({file; package} as full) locItem =
         getSrc paths |> List.map moduleSrcToRef
     in
     List.append targetModuleReferences otherModulesReferences
-  | Typed (_, _, NotFound) | LModule NotFound | Constant _ -> []
+  | Typed (_, _, NotFound)
+  | LModule NotFound
+  | Constant _ | OtherExpression _ | OtherPattern _ ->
+    []
   | TypeDefinition (_, _, stamp) -> forLocalStamp ~full stamp Type
   | Typed (_, _, (LocalReference (stamp, tip) | Definition (stamp, tip)))
   | LModule (LocalReference (stamp, tip) | Definition (stamp, tip)) ->
diff --git a/analysis/src/SharedTypes.ml b/analysis/src/SharedTypes.ml
@@ -460,6 +460,9 @@ type locType =
   | LModule of locKind
   | TopLevelModule of string
   | TypeDefinition of string * Types.type_declaration * int
+  (* For all other expressions and patterns that are not tracked by the above. Needed to produce hovers, completions, and what not. *)
+  | OtherExpression of Types.type_expr
+  | OtherPattern of Types.type_expr
 
 type locItem = {loc: Location.t; locType: locType}
 
@@ -534,6 +537,8 @@ let locTypeToString = function
     "Typed " ^ name ^ " " ^ Shared.typeToString e ^ " "
     ^ locKindToString locKind
   | Constant _ -> "Constant"
+  | OtherExpression e -> "OtherExpression " ^ Shared.typeToString e
+  | OtherPattern e -> "OtherPattern " ^ Shared.typeToString e
   | LModule locKind -> "LModule " ^ locKindToString locKind
   | TopLevelModule _ -> "TopLevelModule"
   | TypeDefinition _ -> "TypeDefinition"
diff --git a/tests/analysis_tests/tests-reanalyze/deadcode/expected/deadcode.txt b/tests/analysis_tests/tests-reanalyze/deadcode/expected/deadcode.txt
@@ -417,7 +417,7 @@
   addValueDeclaration +make Hooks.res:63:6 path:+Hooks.RenderPropRequiresConversion
   addRecordLabelDeclaration name Hooks.res:1:16 path:+Hooks.vehicle
   addRecordLabelDeclaration vehicle Hooks.res:4:12 path:+Hooks.props
-  addValueReference Hooks.res:5:26 --> React.res:134:0
+  addValueReference Hooks.res:5:26 --> React.res:145:0
   addTypeReference Hooks.res:10:29 --> Hooks.res:1:16
   addValueReference Hooks.res:10:29 --> Hooks.res:4:12
   addValueReference Hooks.res:10:75 --> Hooks.res:5:7
@@ -1805,7 +1805,7 @@ File References
   DeadExn.resi -->> 
   DeadRT.res -->> 
   DeadRT.resi -->> 
-  DeadTest.res -->> DeadValueTest.resi, DynamicallyLoadedComponent.res, ImmutableArray.resi, React.res
+  DeadTest.res -->> React.res, DeadValueTest.resi, DynamicallyLoadedComponent.res, ImmutableArray.resi
   DeadTestBlacklist.res -->> 
   DeadTestWithInterface.res -->> 
   DeadTypeTest.res -->> 
@@ -1821,7 +1821,7 @@ File References
   FirstClassModules.res -->> 
   FirstClassModulesInterface.res -->> 
   FirstClassModulesInterface.resi -->> FirstClassModulesInterface.res
-  Hooks.res -->> ImportHookDefault.res, ImportHooks.res, React.res
+  Hooks.res -->> React.res, ImportHookDefault.res, ImportHooks.res
   IgnoreInterface.res -->> 
   IgnoreInterface.resi -->> 
   ImmutableArray.res -->> 
diff --git a/tests/analysis_tests/tests/src/EnhanceHover.res b/tests/analysis_tests/tests/src/EnhanceHover.res
@@ -0,0 +1,9 @@
+// ^dv+
+let xxxxxxx = [1, 2, 3]
+//  ^hov
+
+let xxxxxxxx = [1, 2, 3]
+//             ^hov
+
+let xxxxxxxxx = [1, 2, 3]
+//               ^hov
diff --git a/tests/analysis_tests/tests/src/expected/Completion.res.txt b/tests/analysis_tests/tests/src/expected/Completion.res.txt
diff --git a/tests/analysis_tests/tests/src/expected/CompletionInferValues.res.txt b/tests/analysis_tests/tests/src/expected/CompletionInferValues.res.txt
@@ -966,17 +966,5 @@ Path ReactDOM.Client.Root.
   }]
 
 Hover src/CompletionInferValues.res 160:27
-Nothing at that position. Now trying to use completion.
-posCursor:[160:27] posNoWhite:[160:26] Found expr:[160:25->160:28]
-Pexp_ident res:[160:25->160:28]
-Completable: Cpath Value[res]
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[res]
-Path res
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[res]
-Path res
-{"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
+null
 
diff --git a/tests/analysis_tests/tests/src/expected/EnhanceHover.res.txt b/tests/analysis_tests/tests/src/expected/EnhanceHover.res.txt
@@ -0,0 +1,10 @@
+
+Hover src/EnhanceHover.res 1:4
+{"contents": {"kind": "markdown", "value": "```rescript\narray<int>\n```"}}
+
+Hover src/EnhanceHover.res 4:15
+{"contents": {"kind": "markdown", "value": "```rescript\narray<int>\n```"}}
+
+Hover src/EnhanceHover.res 7:17
+{"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
+
diff --git a/tests/analysis_tests/tests/src/expected/Fragment.res.txt b/tests/analysis_tests/tests/src/expected/Fragment.res.txt
@@ -2,16 +2,5 @@ Hover src/Fragment.res 6:19
 {"contents": {"kind": "markdown", "value": "```rescript\nReact.component<SectionHeader.props<React.element>>\n```\n\n---\n\n```\n \n```\n```rescript\ntype React.component<'props> = Jsx.component<'props>\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22React.res%22%2C12%2C0%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype SectionHeader.props<'children> = {children: 'children}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Fragment.res%22%2C1%2C2%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype React.element = Jsx.element\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22React.res%22%2C0%2C0%5D)\n"}}
 
 Hover src/Fragment.res 9:56
-Nothing at that position. Now trying to use completion.
-posCursor:[9:56] posNoWhite:[9:55] Found expr:[9:10->9:67]
-posCursor:[9:56] posNoWhite:[9:55] Found expr:[9:13->9:67]
-posCursor:[9:56] posNoWhite:[9:55] Found expr:[9:13->9:66]
-JSX <SectionHeader:[9:13->9:26] > _children:9:26
-posCursor:[9:56] posNoWhite:[9:55] Found expr:__ghost__[9:10->9:67]
-Pexp_construct []:__ghost__[9:10->9:67] None
-Completable: Cexpression CTypeAtPos()=[]->variantPayload::::($1)
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath CTypeAtPos()
-null
+{"contents": {"kind": "markdown", "value": "```rescript\nReact.element\n```"}}
 
diff --git a/tests/analysis_tests/tests/src/expected/Hover.res.txt b/tests/analysis_tests/tests/src/expected/Hover.res.txt
@@ -19,7 +19,7 @@ heuristic for: [makeProps, make, createElement], give the loc of `make`
 {"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
 
 Hover src/Hover.res 33:4
-{"contents": {"kind": "markdown", "value": "```rescript\nunit => int\n```\n---\nDoc comment for functionWithTypeAnnotation"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nunit => int\n```"}}
 
 Hover src/Hover.res 37:13
 {"contents": {"kind": "markdown", "value": "```rescript\nstring\n```"}}
@@ -49,16 +49,10 @@ Hover src/Hover.res 77:7
 {"contents": {"kind": "markdown", "value": "```rescript\nmodule A: {\n  let x: int\n}\n```"}}
 
 Hover src/Hover.res 91:10
-Nothing at that position. Now trying to use completion.
-posCursor:[91:10] posNoWhite:[91:8] Found expr:[88:3->91:9]
-JSX <Comp:[88:3->88:7] > _children:88:7
 null
 
 Hover src/Hover.res 98:10
-Nothing at that position. Now trying to use completion.
-posCursor:[98:10] posNoWhite:[98:9] Found expr:[95:3->98:10]
-JSX <Comp1:[95:3->95:8] > _children:95:8
-null
+{"contents": {"kind": "markdown", "value": "```rescript\nReact.element\n```"}}
 
 Hover src/Hover.res 103:25
 {"contents": {"kind": "markdown", "value": "```rescript\nfloat\n```"}}
@@ -73,12 +67,7 @@ Hover src/Hover.res 119:25
 {"contents": {"kind": "markdown", "value": "```rescript\nAA.cond<([< #str(string)] as 'a)> => AA.cond<'a>\n```\n\n---\n\n```\n \n```\n```rescript\ntype AA.cond<'a> = 'a\n  constraint 'a = [< #str(string)]\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C110%2C2%5D)\n"}}
 
 Hover src/Hover.res 122:3
-Nothing at that position. Now trying to use completion.
-Attribute id:live:[122:0->122:5] label:live
-Completable: Cdecorator(live)
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-{"contents": {"kind": "markdown", "value": "The `@live` decorator is for reanalyze, a static analysis tool for ReScript that can do dead code analysis.\n\n`@live` tells the dead code analysis that the value should be considered live, even though it might appear to be dead. This is typically used in case of FFI where there are indirect ways to access values. It can be added to everything that could otherwise be considered unused by the dead code analysis - values, functions, arguments, records, individual record fields, and so on.\n\n[Read more and see examples in the documentation](https://rescript-lang.org/syntax-lookup#live-decorator).\n\nHint: Did you know you can run an interactive code analysis in your project by running the command `> ReScript: Start Code Analyzer`? Try it!"}}
+null
 
 Hover src/Hover.res 125:4
 {"contents": {"kind": "markdown", "value": "```rescript\nunit => unit => int\n```"}}
@@ -244,20 +233,10 @@ Hover src/Hover.res 197:4
 {"contents": {"kind": "markdown", "value": "```rescript\nCompV4.props<int, string> => React.element\n```\n\n---\n\n```\n \n```\n```rescript\ntype CompV4.props<'n, 's> = {n?: 'n, s: 's}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C190%2C2%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype React.element = Jsx.element\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22React.res%22%2C0%2C0%5D)\n"}}
 
 Hover src/Hover.res 202:16
-{"contents": {"kind": "markdown", "value": "```rescript\nuseR\n```\n\n---\n\n```\n \n```\n```rescript\ntype useR = {x: int, y: list<option<r<float>>>}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C200%2C0%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype r<'a> = {i: 'a, f: float}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C101%2C0%5D)\n"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nuseR\n```"}}
 
 Hover src/Hover.res 210:13
-Nothing at that position. Now trying to use completion.
-posCursor:[210:13] posNoWhite:[210:12] Found expr:[210:11->210:14]
-Pexp_ident usr:[210:11->210:14]
-Completable: Cpath Value[usr]
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[usr]
-Path usr
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-{"contents": {"kind": "markdown", "value": "```rescript\nuseR\n```\n\n---\n\n```\n \n```\n```rescript\ntype useR = {x: int, y: list<option<r<float>>>}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C200%2C0%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype r<'a> = {i: 'a, f: float}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C101%2C0%5D)\n"}}
+null
 
 Hover src/Hover.res 230:20
 {"contents": {"kind": "markdown", "value": "```rescript\nint\n```\n---\n More Stuff "}}
@@ -266,23 +245,7 @@ Hover src/Hover.res 233:17
 {"contents": {"kind": "markdown", "value": "```rescript\nint\n```\n---\n More Stuff "}}
 
 Hover src/Hover.res 245:6
-Nothing at that position. Now trying to use completion.
-posCursor:[245:6] posNoWhite:[245:5] Found expr:[245:3->245:14]
-Pexp_field [245:3->245:4] someField:[245:5->245:14]
-Completable: Cpath Value[x].someField
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[x].someField
-ContextPath Value[x]
-Path x
-ContextPath Value[x]->someField
-ContextPath Value[x]
-Path x
-CPPipe pathFromEnv: found:true
-Path Hover.someField
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-{"contents": {"kind": "markdown", "value": " Mighty fine field here. \n\n```rescript\nbool\n```"}}
+null
 
 Hover src/Hover.res 248:19
 {"contents": {"kind": "markdown", "value": "```rescript\nbool\n```\n---\n Mighty fine field here. "}}
@@ -291,34 +254,10 @@ Hover src/Hover.res 253:20
 {"contents": {"kind": "markdown", "value": "```rescript\nvariant\n```\n\n---\n\n```\n \n```\n```rescript\ntype variant = CoolVariant | OtherCoolVariant\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C251%2C0%5D)\n\n---\n```rescript\nCoolVariant\n```\n---\n Cool variant! "}}
 
 Hover src/Hover.res 257:23
-Nothing at that position. Now trying to use completion.
-posCursor:[257:23] posNoWhite:[257:22] Found expr:[257:22->257:25]
-Pexp_ident fff:[257:22->257:25]
-Completable: Cpath Value[fff]
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[fff]
-Path fff
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath string
-{"contents": {"kind": "markdown", "value": "```rescript\nstring\n```"}}
+null
 
 Hover src/Hover.res 260:33
-Nothing at that position. Now trying to use completion.
-posCursor:[260:33] posNoWhite:[260:32] Found expr:[260:31->260:40]
-Pexp_ident someField:[260:31->260:40]
-Completable: Cpath Value[someField]
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath Value[someField]
-Path someField
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-ContextPath CPatternPath(Value[x])->recordField(someField)
-ContextPath Value[x]
-Path x
-{"contents": {"kind": "markdown", "value": "```rescript\nbool\n```"}}
+null
 
 Hover src/Hover.res 263:8
 {"contents": {"kind": "markdown", "value": "\n [`Belt.Array`]()\n\n  **mutable array**: Utilities functions\n\n```rescript\nmodule Array: {\n  module Id\n  module Array\n  module SortArray\n  module MutableQueue\n  module MutableStack\n  module List\n  module Range\n  module Set\n  module Map\n  module MutableSet\n  module MutableMap\n  module HashSet\n  module HashMap\n  module Option\n  module Result\n  module Int\n  module Float\n}\n```"}}
diff --git a/tests/analysis_tests/tests/src/expected/InlayHint.res.txt b/tests/analysis_tests/tests/src/expected/InlayHint.res.txt
@@ -17,18 +17,6 @@ Inlay Hint src/InlayHint.res 1:34
     "kind": 1,
     "paddingLeft": true,
     "paddingRight": false
-}, {
-    "position": {"line": 26, "character": 23},
-    "label": ": (string, string)",
-    "kind": 1,
-    "paddingLeft": true,
-    "paddingRight": false
-}, {
-    "position": {"line": 18, "character": 9},
-    "label": ": string",
-    "kind": 1,
-    "paddingLeft": true,
-    "paddingRight": false
 }, {
     "position": {"line": 16, "character": 9},
     "label": ": (string, string)",
diff --git a/tests/analysis_tests/tests/src/expected/Jsx2.res.txt b/tests/analysis_tests/tests/src/expected/Jsx2.res.txt
@@ -379,7 +379,17 @@ Package opens Stdlib.place holder Pervasives.JsxModules.place holder
 Resolved opens 1 Stdlib
 ContextPath Type[ReactDOMR]
 Path ReactDOMR
-[]
+[{
+    "label": "ReactDOMRe",
+    "kind": 9,
+    "tags": [],
+    "detail": "module ReactDOMRe",
+    "documentation": null,
+    "data": {
+      "modulePath": "ReactDOMRe",
+      "filePath": "src/Jsx2.res"
+    }
+  }]
 
 Complete src/Jsx2.res 102:21
 posCursor:[102:21] posNoWhite:[102:20] Found expr:[102:13->102:21]
@@ -523,28 +533,8 @@ Path Nested.
   }]
 
 Hover src/Jsx2.res 162:12
-Nothing at that position. Now trying to use completion.
-posCursor:[162:12] posNoWhite:[162:11] Found expr:[162:3->162:21]
-posCursor:[162:12] posNoWhite:[162:11] Found expr:[162:6->162:21]
-posCursor:[162:12] posNoWhite:[162:11] Found expr:[162:6->162:20]
-JSX <Comp:[162:6->162:10] age[162:11->162:14]=...[162:15->162:17]> _children:162:18
-Completable: Cjsx([Comp], age, [age])
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-Path Comp.make
-{"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nReact.element\n```"}}
 
 Hover src/Jsx2.res 167:16
-Nothing at that position. Now trying to use completion.
-posCursor:[167:16] posNoWhite:[167:15] Found expr:[167:3->167:30]
-posCursor:[167:16] posNoWhite:[167:15] Found expr:[167:7->167:30]
-posCursor:[167:16] posNoWhite:[167:15] Found expr:[167:7->167:25]
-posCursor:[167:16] posNoWhite:[167:15] Found expr:[167:10->167:25]
-posCursor:[167:16] posNoWhite:[167:15] Found expr:[167:10->167:24]
-JSX <Comp:[167:10->167:14] age[167:15->167:18]=...[167:19->167:21]> _children:167:22
-Completable: Cjsx([Comp], age, [age])
-Package opens Stdlib.place holder Pervasives.JsxModules.place holder
-Resolved opens 1 Stdlib
-Path Comp.make
-{"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nReact.element\n```"}}
 
diff --git a/tests/analysis_tests/tests/src/expected/NestedRecords.res.txt b/tests/analysis_tests/tests/src/expected/NestedRecords.res.txt
diff --git a/tests/analysis_tests/tests/src/expected/RecoveryOnProp.res.txt b/tests/analysis_tests/tests/src/expected/RecoveryOnProp.res.txt
diff --git a/tests/analysis_tests/tests/src/expected/TypeDefinition.res.txt b/tests/analysis_tests/tests/src/expected/TypeDefinition.res.txt
