Add tests

ahejlsberg · ahejlsberg · commit 8f860f672f99 · 2018-03-25T11:33:24.000-07:00
diff --git a/tests/cases/conformance/types/conditional/conditionalTypes2.ts b/tests/cases/conformance/types/conditional/conditionalTypes2.ts
@@ -34,18 +34,18 @@ function f3(a: Invariant<A>, b: Invariant<B>) {
 
 // Repros from #22860
 
-export class Option<T> {
+class Opt<T> {
     toVector(): Vector<T> {
         return <any>undefined;
     }
 }
 
 interface Seq<T> {
-    tail(): Option<Seq<T>>;
+    tail(): Opt<Seq<T>>;
 }
 
 class Vector<T> implements Seq<T> {
-    tail(): Option<Vector<T>> {
+    tail(): Opt<Vector<T>> {
         return <any>undefined;
     }
     partition2<U extends T>(predicate:(v:T)=>v is U): [Vector<U>,Vector<Exclude<T, U>>];

Original file line number	Diff line number	Diff line change
`@@ -34,18 +34,18 @@ function f3(a: Invariant<A>, b: Invariant<B>) {`
`34`	`34`
`35`	`35`	`// Repros from #22860`
`36`	`36`
`37`		`-export class Option<T> {`
	`37`	`+class Opt<T> {`
`38`	`38`	`toVector(): Vector<T> {`
`39`	`39`	`return <any>undefined;`
`40`	`40`	`}`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`interface Seq<T> {`
`44`		`- tail(): Option<Seq<T>>;`
	`44`	`+ tail(): Opt<Seq<T>>;`
`45`	`45`	`}`
`46`	`46`
`47`	`47`	`class Vector<T> implements Seq<T> {`
`48`		`- tail(): Option<Vector<T>> {`
	`48`	`+ tail(): Opt<Vector<T>> {`
`49`	`49`	`return <any>undefined;`
`50`	`50`	`}`
`51`	`51`	`partition2<U extends T>(predicate:(v:T)=>v is U): [Vector<U>,Vector<Exclude<T, U>>];`