Fix issue where let x:t = ... is treated differently in .res syntax.

Changes.md

@@ -1,5 +1,6 @@
 # master
 - Add support for different file extensions using the `suffix` configuration from `bsconfig.json`.
+- Fix issue where `let x:t = ...` is treated differently in `.res` syntax.
 
 # 3.45.0
 - Only support bs-platform `8.2.0` or newer.

examples/flow-react-example/src/LetWithType.gen.js

@@ -0,0 +1,13 @@
+/** 
+ * @flow strict
+ * @generated from LetWithType.res
+ * @nolint
+ */
+/* eslint-disable */
+
+// $FlowExpectedError: Reason checked type sufficiently
+import * as LetWithTypeBS from './LetWithType.bs';
+
+export opaque type style = mixed;
+
+export const white: style = LetWithTypeBS.white;

examples/flow-react-example/src/LetWithType.res

@@ -0,0 +1,16 @@
+
+module Style = {
+  type rec t =
+    | WHITE
+    | LIGHT
+    | GRAY
+    | CUSTOM(string)
+}
+
+include Style
+
+@genType.opaque
+type rec style = t
+
+@genType
+let white: style = WHITE

src/TranslateStructure.re

@@ -159,7 +159,7 @@ let translateValueBinding =
            ~outputFileRelative,
            ~resolver,
            ~typeEnv,
-           ~typeExpr=vb_expr.exp_type,
+           ~typeExpr=vb_pat.pat_type,
            ~addAnnotationsToFunction=
              addAnnotationsToFunctionType(~config, vb_expr),
          );