@@ -32,7 +32,7 @@
 "character": 1
 }
 },
-"newText": "\nfunction newFunction(): {| a: number, barr: number, fooo: number |} {\n // comment before\n let fooo = 3; // selected\n let barr = 4; // selected\n const a = 3; // selected\n return { a, barr, fooo };\n}"
+"newText": "\nfunction newFunction(): {| a: 3, barr: number, fooo: number |} {\n // comment before\n let fooo = 3; // selected\n let barr = 4; // selected\n const a = 3; // selected\n return { a, barr, fooo };\n}"
 }
 ]
 }
@@ -78,7 +78,7 @@
 "character": 15
 }
 },
-"newText": "function newFunction(): {| a: number, barr: number, fooo: number |} {\n // comment before\n let fooo = 3; // selected\n let barr = 4; // selected\n const a = 3; // selected\n return { a, barr, fooo };\n }"
+"newText": "function newFunction(): {| a: 3, barr: number, fooo: number |} {\n // comment before\n let fooo = 3; // selected\n let barr = 4; // selected\n const a = 3; // selected\n return { a, barr, fooo };\n }"
 }
 ]
 }

@@ -5,8 +5,8 @@
 "items": [
 {
 "label": "foobar",
-"kind": 6,
-"detail": "string",
+"kind": 12,
+"detail": "\"\"",
 "sortText": "00000000000000000000",
 "insertTextFormat": 1,
 "textEdit": {

@@ -5,8 +5,8 @@
 "items": [
 {
 "label": "actors",
-"kind": 6,
-"detail": "number",
+"kind": 12,
+"detail": "3",
 "sortText": "00000000000000000000",
 "insertTextFormat": 1,
 "textEdit": {
@@ -143,8 +143,8 @@
 },
 {
 "label": "actoooooooor",
-"kind": 6,
-"detail": "number",
+"kind": 12,
+"detail": "3",
 "sortText": "00000000000000000003",
 "insertTextFormat": 1,
 "textEdit": {

@@ -1476,8 +1476,8 @@ module.exports = (suite(
 },
 {
 label: 'x',
-kind: 6,
-detail: 'number',
+kind: 12,
+detail: '15',
 sortText: '00000000000000000041',
 insertTextFormat: 1,
 textEdit: {
@@ -3483,8 +3483,8 @@ b.te
 },
 {
 label: 'x',
-kind: 6,
-detail: 'number',
+kind: 12,
+detail: '15',
 sortText: '00000000000000000042',
 insertTextFormat: 1,
 textEdit: {
@@ -4996,8 +4996,8 @@ b.te
 },
 {
 label: 'x',
-kind: 6,
-detail: 'number',
+kind: 12,
+detail: '15',
 sortText: '00000000000000000040',
 insertTextFormat: 1,
 textEdit: {

@@ -251,7 +251,7 @@ module Opts = struct
 multi_platform_extension_group_mapping = [];
 multi_platform_ambient_supports_platform_directory_overrides = [];
 munge_underscores = false;
-natural_inference_local_primitive_literals = Options.NaturalInferenceLevel.Off;
+natural_inference_local_primitive_literals = Options.NaturalInferenceLevel.Partial;
 natural_inference_local_primitive_literals_full_includes = [];
 no_flowlib = false;
 no_unchecked_indexed_access = false;

@@ -1,21 +1,21 @@
 >>> test.js (#changes: 7)
 // @flow
 
-let x: {| foo?: number |} = {}; // add annot
+let x: {| foo?: 3 |} = {}; // add annot
 x.foo = 3;
 
-let y: {| foo?: string |} = {}; // add annot
+let y: {| foo?: "" |} = {}; // add annot
 if (x) {
 y.foo = '';
 }
 
-let z: {| bar?: string, foo?: number |} = {}; // add annot
+let z: {| bar?: "", foo?: 3 |} = {}; // add annot
 z.foo = 3;
 if (x) {
 z.bar = '';
 }
 
-let q: {| bar?: string, foo: number |} = {foo: 3}; // add annot
+let q: {| bar?: "", foo: number |} = {foo: 3}; // add annot
 if (x) {
 q.bar = '';
 }
@@ -26,14 +26,14 @@ if (x) {
 s.bar = '';
 }
 
-let d: {| foo?: string | number |} = {}; // should only annot foo once
+let d: {| foo?: "" | 3 |} = {}; // should only annot foo once
 if (x) {
 d.foo = 3;
 } else {
 d.foo = '';
 }
 
-let e: {| foo?: string |} = {}; // should only annot foo once
+let e: {| foo?: "" |} = {}; // should only annot foo once
 if (x) {
 e.foo = '';
 } else {

@@ -140,7 +140,7 @@ Flags: --pretty --imports
 
 components.js:21:16
 Flags: --pretty --imports
-{"result":[{"name":"xaaa","type":"number"},{"name":"xbbb","type":"string"}]}
+{"result":[{"name":"xaaa","type":"42"},{"name":"xbbb","type":"string"}]}
 
 react_type_namespace.js:3:18
 Flags: --pretty

@@ -99,6 +99,23 @@ References:
 ^^^^^^^ [2]
 
 
+Error --------------------------------------------------------------------------------------------------- bigint.js:47:3
+
+Cannot cast `x` to `typeof b` because bigint literal `0n` [1] is incompatible with bigint [2]. [incompatible-cast]
+
+bigint.js:47:3
+47| x as typeof b; // ERROR typeof b is `1n`
+^
+
+References:
+bigint.js:44:20
+44| declare const x: 0n | 1n;
+^^ [1]
+bigint.js:47:8
+47| x as typeof b; // ERROR typeof b is `1n`
+^^^^^^^^ [2]
+
+
 Error --------------------------------------------------------------------------------------------------- bigint.js:49:3
 
 Cannot cast `x` to union type because union type [1] is incompatible with union type [2]. Type union type [1] includes
@@ -480,4 +497,4 @@ References:
 
 
 
-Found 36 errors
+Found 37 errors

@@ -44,7 +44,7 @@ if (b) {} // error
 declare const x: 0n | 1n;
 x as bigint; // OK
 const b = 1n; // OK
-x as typeof b; // OK - `typeof 1n` is `bigint`
+x as typeof b; // ERROR typeof b is `1n`
 x as 1n | 0n; // OK
 x as 2n | 3n; // ERROR
 }

@@ -225,7 +225,7 @@
 "end":6
 },
 {
-"type":"number",
+"type":"0",
 "reasons":[],
 "loc":{
 "source":"test.js",
@@ -1053,7 +1053,7 @@
 "end":9
 },
 {
-"type":"string",
+"type":"\"\"",
 "reasons":[],
 "loc":{
 "source":"predicates.js",
@@ -1143,7 +1143,7 @@
 "end":9
 },
 {
-"type":"string",
+"type":"\"\"",
 "reasons":[],
 "loc":{
 "source":"predicates.js",
@@ -1533,7 +1533,7 @@ elem_call.js:13:1-10: (string) => string
 elem_call.js:13:1-14: string
 elem_call.js:13:7-9: string
 elem_call.js:13:7-9: string
-elem_call.js:13:12-13: string
+elem_call.js:13:12-13: ""
 elem_call.js:17:1-5: {[key: "a"]: () => {...}} | void
 elem_call.js:17:1-5: {[key: "a"]: () => {...}} | void
 elem_call.js:17:1-8: any (implicit)
@@ -1545,23 +1545,23 @@ optional_calls.js:7:3: void | F
 optional_calls.js:7:3: void | F
 optional_calls.js:7:3-12: void
 optional_calls.js:7:3-12: void
-optional_calls.js:7:7-11: string
+optional_calls.js:7:7-11: "abc"
 optional_calls.js:12:3: ?{m: F, ...}
 optional_calls.js:12:3: ?{m: F, ...}
 optional_calls.js:12:3-6: F
 optional_calls.js:12:3-6: ?{m: F, ...}
 optional_calls.js:12:3-13: void
 optional_calls.js:12:3-13: void
 optional_calls.js:12:6: F
-optional_calls.js:12:8-12: string
+optional_calls.js:12:8-12: "abc"
 optional_calls.js:17:3: ?{[key: string]: F}
 optional_calls.js:17:3: ?{[key: string]: F}
 optional_calls.js:17:3-12: F
 optional_calls.js:17:3-12: ?{[key: string]: F}
 optional_calls.js:17:3-19: void
 optional_calls.js:17:3-19: void
-optional_calls.js:17:7-11: string
-optional_calls.js:17:14-18: string
+optional_calls.js:17:7-11: "abc"
+optional_calls.js:17:14-18: "abc"
 optional_calls.js:22:3: ?{m: {n: F, ...}, ...}
 optional_calls.js:22:3: ?{m: {n: F, ...}, ...}
 optional_calls.js:22:3-6: void | {n: F, ...}
@@ -1572,17 +1572,17 @@ optional_calls.js:22:3-15: void
 optional_calls.js:22:3-15: void
 optional_calls.js:22:6: void | {n: F, ...}
 optional_calls.js:22:8: F
-optional_calls.js:22:10-14: string
+optional_calls.js:22:10-14: "abc"
 optional_calls.js:27:3: {m: ?F, ...}
 optional_calls.js:27:3: {m: ?F, ...}
 optional_calls.js:27:3-5: ?F
 optional_calls.js:27:3-14: void
 optional_calls.js:27:3-14: void
 optional_calls.js:27:5: ?F
-optional_calls.js:27:9-13: string
+optional_calls.js:27:9-13: "abc"
 optional_calls.js:33:5: {f: F, ...}
 optional_calls.js:33:5: {f: F, ...}
 optional_calls.js:33:5-7: F
 optional_calls.js:33:5-14: void
 optional_calls.js:33:7: F
-optional_calls.js:33:9-13: string
+optional_calls.js:33:9-13: "abc"

@@ -4450,7 +4450,8 @@ Cannot instantiate `$ReadOnly` because enum `E` [1] is not an object. [not-an-ob
 
 Error -------------------------------------------------------------------------------------------- utility-types.js:22:1
 
-Cannot cast `'A'` to key set because property `A` is missing in enum `E` [1]. [incompatible-use]
+Cannot cast `'A'` to key set because an index signature declaring the expected key / value type is missing in enum
+`E` [1]. [incompatible-use]
 
 utility-types.js:22:1
 22| 'A' as $Keys<typeof E>; // Error: TODO: improve error

@@ -972,6 +972,44 @@ References:
 ^^^^^^^ [2]
 
 
+Error --------------------------------------------------------------------------------------------- upper_non_t.js:152:3
+
+Cannot cast `d1` to object type because number [1] is incompatible with number [2] in property `bar`. This property is
+invariantly typed. See https://flow.org/en/docs/faq/#why-cant-i-pass-a-string-to-a-function-that-takes-a-string-number.
+[incompatible-cast]
+
+upper_non_t.js:152:3
+152| d1 as {|foo: string, bar: number|}; // error T is inferred as {foo: string, bar: 3}
+^^
+
+References:
+upper_non_t.js:152:29
+152| d1 as {|foo: string, bar: number|}; // error T is inferred as {foo: string, bar: 3}
+^^^^^^ [1]
+upper_non_t.js:149:26
+149| const d1 = Diff1({bar: 3});
+^ [2]
+
+
+Error --------------------------------------------------------------------------------------------- upper_non_t.js:153:3
+
+Cannot cast `d1` to object type because number [1] is incompatible with number [2] in property `bar`. This property is
+invariantly typed. See https://flow.org/en/docs/faq/#why-cant-i-pass-a-string-to-a-function-that-takes-a-string-number.
+[incompatible-cast]
+
+upper_non_t.js:153:3
+153| d1 as {|foo: string | number, bar: number|}; // error
+^^
+
+References:
+upper_non_t.js:153:38
+153| d1 as {|foo: string | number, bar: number|}; // error
+^^^^^^ [1]
+upper_non_t.js:149:26
+149| const d1 = Diff1({bar: 3});
+^ [2]
+
+
 Error --------------------------------------------------------------------------------------------- upper_non_t.js:153:3
 
 Cannot cast `d1` to object type because number [1] is incompatible with string [2] in property `foo`. This property is
@@ -1102,6 +1140,25 @@ References:
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2]
 
 
+Error --------------------------------------------------------------------------------------------- upper_non_t.js:168:3
+
+Cannot cast `d3` to object type because number [1] is incompatible with number [2] in property `bar`. This property is
+invariantly typed. See https://flow.org/en/docs/faq/#why-cant-i-pass-a-string-to-a-function-that-takes-a-string-number.
+[incompatible-cast]
+
+upper_non_t.js:168:3
+168| d3 as {|foo: string, bar: number|}; // error
+^^
+
+References:
+upper_non_t.js:168:29
+168| d3 as {|foo: string, bar: number|}; // error
+^^^^^^ [1]
+upper_non_t.js:163:26
+163| const d3 = Diff3({bar: 3});
+^ [2]
+
+
 Error -------------------------------------------------------------------------------------------- upper_non_t.js:171:15
 
 Cannot call `Diff4` because string [1] is incompatible with number [2]. [incompatible-call]
@@ -1116,5 +1173,24 @@ References:
 ^^^^^^ [2]
 
 
+Error --------------------------------------------------------------------------------------------- upper_non_t.js:176:3
+
+Cannot cast `d4` to object type because number [1] is incompatible with number [2] in property `bar`. This property is
+invariantly typed. See https://flow.org/en/docs/faq/#why-cant-i-pass-a-string-to-a-function-that-takes-a-string-number.
+[incompatible-cast]
+
+upper_non_t.js:176:3
+176| d4 as {|[string]: number, bar: number|};
+^^
+
+References:
+upper_non_t.js:176:34
+176| d4 as {|[string]: number, bar: number|};
+^^^^^^ [1]
+upper_non_t.js:170:26
+170| const d4 = Diff4({bar: 3});
+^ [2]
+
+
 
-Found 72 errors
+Found 76 errors

@@ -149,7 +149,7 @@ function Diffs() {
 const d1 = Diff1({bar: 3});
 d1.foo as string;
 d1.bar as number;
-d1 as {|foo: string, bar: number|};
+d1 as {|foo: string, bar: number|}; // error T is inferred as {foo: string, bar: 3}
 d1 as {|foo: string | number, bar: number|}; // error
 d1.bad; // error
 d1 as empty; // error