experimentalBigInt compiler flag

src/compiler/checker.ts

@@ -9270,6 +9270,9 @@ namespace ts {
 
         function getNumericLiteralValue(node: NumericLiteral): number | PseudoBigInt {
             if (node.numericLiteralFlags & TokenFlags.BigInt) {
+                if (!compilerOptions.experimentalBigInt) {
+                    error(node, Diagnostics.Experimental_support_for_BigInt_is_a_feature_that_is_subject_to_change_in_a_future_release_Set_the_experimentalBigInt_option_to_remove_this_warning);
+                }
                 return { negative: false, base10Value: parsePseudoBigInt(node.text) };
             }
             return +node.text;

src/compiler/commandLineParser.ts

@@ -584,6 +584,12 @@ namespace ts {
             category: Diagnostics.Experimental_Options,
             description: Diagnostics.Enables_experimental_support_for_emitting_type_metadata_for_decorators
         },
+        {
+            name: "experimentalBigInt",
+            type: "boolean",
+            category: Diagnostics.Experimental_Options,
+            description: Diagnostics.Enables_experimental_support_for_ESNext_BigInt_expressions
+        },
 
         // Advanced
         {

src/compiler/types.ts

@@ -4499,6 +4499,7 @@ namespace ts {
         downlevelIteration?: boolean;
         emitBOM?: boolean;
         emitDecoratorMetadata?: boolean;
+        experimentalBigInt?: boolean;
         experimentalDecorators?: boolean;
         forceConsistentCasingInFileNames?: boolean;
         /*@internal*/help?: boolean;

tests/baselines/reference/api/tsserverlibrary.d.ts

@@ -2458,6 +2458,7 @@ declare namespace ts {
         downlevelIteration?: boolean;
         emitBOM?: boolean;
         emitDecoratorMetadata?: boolean;
+        experimentalBigInt?: boolean;
         experimentalDecorators?: boolean;
         forceConsistentCasingInFileNames?: boolean;
         importHelpers?: boolean;

tests/baselines/reference/api/typescript.d.ts

@@ -2458,6 +2458,7 @@ declare namespace ts {
         downlevelIteration?: boolean;
         emitBOM?: boolean;
         emitDecoratorMetadata?: boolean;
+        experimentalBigInt?: boolean;
         experimentalDecorators?: boolean;
         forceConsistentCasingInFileNames?: boolean;
         importHelpers?: boolean;

tests/baselines/reference/tsConfig/Default initialized TSConfig/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with advanced options/tsconfig.json

@@ -56,6 +56,7 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
 
     /* Advanced Options */
     "noErrorTruncation": true,                /* Do not truncate error messages. */

tests/baselines/reference/tsConfig/Initialized TSConfig with boolean value compiler options/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with enum value compiler options/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with files options/tsconfig.json

@@ -56,6 +56,7 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   },
   "files": [
     "file0.st",

tests/baselines/reference/tsConfig/Initialized TSConfig with incorrect compiler option value/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with incorrect compiler option/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with list compiler options with enum value/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/tsConfig/Initialized TSConfig with list compiler options/tsconfig.json

@@ -56,5 +56,6 @@
     /* Experimental Options */
     // "experimentalDecorators": true,        /* Enables experimental support for ES7 decorators. */
     // "emitDecoratorMetadata": true,         /* Enables experimental support for emitting type metadata for decorators. */
+    // "experimentalBigInt": true,            /* Enables experimental support for ESNext BigInt expressions. */
   }
 }

tests/baselines/reference/warnExperimentalBigIntLiteral.errors.txt

@@ -0,0 +1,17 @@
+tests/cases/compiler/warnExperimentalBigIntLiteral.ts(2,22): error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+tests/cases/compiler/warnExperimentalBigIntLiteral.ts(2,29): error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+tests/cases/compiler/warnExperimentalBigIntLiteral.ts(2,39): error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+tests/cases/compiler/warnExperimentalBigIntLiteral.ts(2,48): error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+
+
+==== tests/cases/compiler/warnExperimentalBigIntLiteral.ts (4 errors) ====
+    const normalNumber = 123; // should not error
+    const bigintNumber = 123n * 0b1111n + 0o444n * 0x7fn; // each literal should error
+                         ~~~~
+!!! error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+                                ~~~~~~~
+!!! error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+                                          ~~~~~~
+!!! error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.
+                                                   ~~~~~
+!!! error TS1350: Experimental support for BigInt is a feature that is subject to change in a future release. Set the 'experimentalBigInt' option to remove this warning.

tests/baselines/reference/warnExperimentalBigIntLiteral.js

@@ -0,0 +1,7 @@
+//// [warnExperimentalBigIntLiteral.ts]
+const normalNumber = 123; // should not error
+const bigintNumber = 123n * 0b1111n + 0o444n * 0x7fn; // each literal should error
+
+//// [warnExperimentalBigIntLiteral.js]
+var normalNumber = 123; // should not error
+var bigintNumber = 123n * 15n + 292n * 0x7fn; // each literal should error

tests/baselines/reference/warnExperimentalBigIntLiteral.symbols

@@ -0,0 +1,7 @@
+=== tests/cases/compiler/warnExperimentalBigIntLiteral.ts ===
+const normalNumber = 123; // should not error
+>normalNumber : Symbol(normalNumber, Decl(warnExperimentalBigIntLiteral.ts, 0, 5))
+
+const bigintNumber = 123n * 0b1111n + 0o444n * 0x7fn; // each literal should error
+>bigintNumber : Symbol(bigintNumber, Decl(warnExperimentalBigIntLiteral.ts, 1, 5))
+

tests/baselines/reference/warnExperimentalBigIntLiteral.types

@@ -0,0 +1,15 @@
+=== tests/cases/compiler/warnExperimentalBigIntLiteral.ts ===
+const normalNumber = 123; // should not error
+>normalNumber : 123
+>123 : 123
+
+const bigintNumber = 123n * 0b1111n + 0o444n * 0x7fn; // each literal should error
+>bigintNumber : bigint
+>123n * 0b1111n + 0o444n * 0x7fn : bigint
+>123n * 0b1111n : bigint
+>123n : 123n
+>0b1111n : 15n
+>0o444n * 0x7fn : bigint
+>0o444n : 292n
+>0x7fn : 127n
+

tests/cases/compiler/warnExperimentalBigIntLiteral.ts

@@ -0,0 +1,2 @@
+const normalNumber = 123; // should not error
+const bigintNumber = 123n * 0b1111n + 0o444n * 0x7fn; // each literal should error