Do not allow overwritting of primitive types (#314)

* Do not allow overwritting of primitive types

* Better name for method

src/plugins/flow.js

@@ -4,6 +4,18 @@ import { types as tt } from "../tokenizer/types";
 import { types as ct } from "../tokenizer/context";
 import Parser from "../parser";
 
+const primitiveTypes = [
+  "any",
+  "mixed",
+  "empty",
+  "bool",
+  "boolean",
+  "number",
+  "string",
+  "void",
+  "null"
+];
+
 const pp = Parser.prototype;
 
 pp.flowParseTypeInitialiser = function (tok) {
@@ -188,10 +200,18 @@ pp.flowParseInterface = function (node) {
   return this.finishNode(node, "InterfaceDeclaration");
 };
 
+pp.flowParseRestrictedIdentifier = function(liberal) {
+  if (primitiveTypes.indexOf(this.state.value) > -1) {
+    this.raise(this.state.start, `Cannot overwrite primitive type ${this.state.value}`);
+  }
+
+  return this.parseIdentifier(liberal);
+};
+
 // Type aliases
 
 pp.flowParseTypeAlias = function (node) {
-  node.id = this.parseIdentifier();
+  node.id = this.flowParseRestrictedIdentifier();
 
   if (this.isRelational("<")) {
     node.typeParameters = this.flowParseTypeParameterDeclaration();
@@ -770,7 +790,7 @@ pp.flowParseTypeAnnotation = function () {
 };
 
 pp.flowParseTypeAnnotatableIdentifier = function () {
-  const ident = this.parseIdentifier();
+  const ident = this.flowParseRestrictedIdentifier();
   if (this.match(tt.colon)) {
     ident.typeAnnotation = this.flowParseTypeAnnotation();
     this.finishNode(ident, ident.type);

test/fixtures/flow/type-annotations/131/actual.js

@@ -0,0 +1 @@
+type number = string;

test/fixtures/flow/type-annotations/131/options.json

@@ -0,0 +1,3 @@
+{
+  "throws": "Cannot overwrite primitive type number (1:5)"
+}

test/fixtures/flow/type-annotations/132/actual.js

@@ -0,0 +1 @@
+type foo<number> = string;

test/fixtures/flow/type-annotations/132/options.json

@@ -0,0 +1,3 @@
+{
+  "throws": "Cannot overwrite primitive type number (1:9)"
+}

test/fixtures/flow/type-annotations/133/actual.js

@@ -0,0 +1,3 @@
+function a<string>(x: string): string {
+  return x;
+}

test/fixtures/flow/type-annotations/133/options.json

@@ -0,0 +1,3 @@
+{
+  "throws": "Cannot overwrite primitive type string (1:11)"
+}

test/fixtures/flow/type-annotations/134/actual.js

@@ -0,0 +1 @@
+declare type bool = any;

test/fixtures/flow/type-annotations/134/options.json

@@ -0,0 +1,3 @@
+{
+  "throws": "Cannot overwrite primitive type bool (1:13)"
+}