Test widen literal types of parameter properties

sandersn · sandersn · commit c7b008382074 · 2016-11-16T15:15:30.000-08:00
diff --git a/tests/baselines/reference/literalTypesWidenInParameterPosition.errors.txt b/tests/baselines/reference/literalTypesWidenInParameterPosition.errors.txt
@@ -0,0 +1,15 @@
+tests/cases/conformance/types/literal/literalTypesWidenInParameterPosition.ts(4,9): error TS2322: Type '5' is not assignable to type '1'.
+
+
+==== tests/cases/conformance/types/literal/literalTypesWidenInParameterPosition.ts (1 errors) ====
+    class D {
+        readonly noWiden = 1
+        constructor(readonly widen = 2) {
+            this.noWiden = 5; // error
+            ~~~~~~~~~~~~
+!!! error TS2322: Type '5' is not assignable to type '1'.
+            this.widen = 6; // ok
+        }
+    }
+    new D(7); // ok
+    
diff --git a/tests/baselines/reference/literalTypesWidenInParameterPosition.js b/tests/baselines/reference/literalTypesWidenInParameterPosition.js
@@ -0,0 +1,23 @@
+//// [literalTypesWidenInParameterPosition.ts]
+class D {
+    readonly noWiden = 1
+    constructor(readonly widen = 2) {
+        this.noWiden = 5; // error
+        this.widen = 6; // ok
+    }
+}
+new D(7); // ok
+
+
+//// [literalTypesWidenInParameterPosition.js]
+var D = (function () {
+    function D(widen) {
+        if (widen === void 0) { widen = 2; }
+        this.widen = widen;
+        this.noWiden = 1;
+        this.noWiden = 5; // error
+        this.widen = 6; // ok
+    }
+    return D;
+}());
+new D(7); // ok
diff --git a/tests/cases/conformance/types/literal/literalTypesWidenInParameterPosition.ts b/tests/cases/conformance/types/literal/literalTypesWidenInParameterPosition.ts
@@ -0,0 +1,8 @@
+class D {
+    readonly noWiden = 1
+    constructor(readonly widen = 2) {
+        this.noWiden = 5; // error
+        this.widen = 6; // ok
+    }
+}
+new D(7); // ok
