Add test case

sandersn · sandersn · commit cd97270721b9 · 2016-05-23T15:11:03.000-07:00
diff --git a/tests/baselines/reference/typeParameterExplicitlyExtendsAny.errors.txt b/tests/baselines/reference/typeParameterExplicitlyExtendsAny.errors.txt
@@ -1,9 +1,7 @@
 tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts(3,7): error TS2339: Property 'blah' does not exist on type 'T'.
-tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts(9,7): error TS2339: Property 'blah' does not exist on type 'T'.
-tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts(10,7): error TS2339: Property 'toString' does not exist on type 'T'.
 
 
-==== tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts (3 errors) ====
+==== tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts (1 errors) ====
     function fee<T>() {
         var t: T;
         t.blah; // Error
@@ -14,10 +12,28 @@ tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts(10,7): error TS2339: P
     
     function fee2<T extends any>() {
         var t: T;
-        t.blah; // Error
-          ~~~~
-!!! error TS2339: Property 'blah' does not exist on type 'T'.
+        t.blah; // ok
         t.toString; // ok
-          ~~~~~~~~
-!!! error TS2339: Property 'toString' does not exist on type 'T'.
-    }
+    }
+    
+    function f<T extends any>(x: T) {
+        x.children;
+        x();
+        new x();
+        x[100];
+        x['hello'];
+    }
+    
+    
+    // Generic Tree structure
+    type Tree<T> = T & {
+        children?: Tree<T>[];
+    }
+    
+    class MyClass {
+        public static displayTree1<T extends Tree<any>>(tree: T) {
+            // error "Property 'children' does not exist on type 'T'"
+            tree.children;
+        }
+    }
+    
diff --git a/tests/baselines/reference/typeParameterExplicitlyExtendsAny.js b/tests/baselines/reference/typeParameterExplicitlyExtendsAny.js
@@ -7,9 +7,31 @@ function fee<T>() {
 
 function fee2<T extends any>() {
     var t: T;
-    t.blah; // Error
+    t.blah; // ok
     t.toString; // ok
-}
+}
+
+function f<T extends any>(x: T) {
+    x.children;
+    x();
+    new x();
+    x[100];
+    x['hello'];
+}
+
+
+// Generic Tree structure
+type Tree<T> = T & {
+    children?: Tree<T>[];
+}
+
+class MyClass {
+    public static displayTree1<T extends Tree<any>>(tree: T) {
+        // error "Property 'children' does not exist on type 'T'"
+        tree.children;
+    }
+}
+
 
 //// [typeParameterExplicitlyExtendsAny.js]
 function fee() {
@@ -19,6 +41,22 @@ function fee() {
 }
 function fee2() {
     var t;
-    t.blah; // Error
+    t.blah; // ok
     t.toString; // ok
 }
+function f(x) {
+    x.children;
+    x();
+    new x();
+    x[100];
+    x['hello'];
+}
+var MyClass = (function () {
+    function MyClass() {
+    }
+    MyClass.displayTree1 = function (tree) {
+        // error "Property 'children' does not exist on type 'T'"
+        tree.children;
+    };
+    return MyClass;
+}());
diff --git a/tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts b/tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts
@@ -6,6 +6,27 @@ function fee<T>() {
 
 function fee2<T extends any>() {
     var t: T;
-    t.blah; // Error
+    t.blah; // ok
     t.toString; // ok
-}
+}
+
+function f<T extends any>(x: T) {
+    x.children;
+    x();
+    new x();
+    x[100];
+    x['hello'];
+}
+
+
+// Generic Tree structure
+type Tree<T> = T & {
+    children?: Tree<T>[];
+}
+
+class MyClass {
+    public static displayTree1<T extends Tree<any>>(tree: T) {
+        // error "Property 'children' does not exist on type 'T'"
+        tree.children;
+    }
+}
