chore: bump TypeScript to 4.0.1-rc

package.json

@@ -148,7 +148,7 @@
     "tslint-no-toplevel-property-access": "0.0.2",
     "tslint-no-unused-expression-chai": "0.0.3",
     "typedoc": "^0.17.8",
-    "typescript": "~3.9.2",
+    "typescript": "~4.0.1-rc",
     "validate-commit-msg": "2.14.0",
     "webpack": "^4.31.0"
   },

spec-dtslint/types-spec.ts

@@ -1,87 +1,87 @@
-import {
-  Observable,
-  ObservedValueOf,
-  ObservedValueUnionFromArray,
-  ObservedValueTupleFromArray,
-  Cons,
-  Head,
-  Tail
-} from 'rxjs';
-import { A, B, C } from './helpers';
-
-describe('ObservedValueOf', () => {
-  it('should infer from an observable', () => {
-    let explicit: ObservedValueOf<Observable<A>>;
-    let inferred = explicit!; // $ExpectType A
-  });
-
-  it('should infer from an array', () => {
-    let explicit: ObservedValueOf<A[]>;
-    let inferred = explicit!; // $ExpectType A
-  });
-
-  it('should infer from a promise', () => {
-    let explicit: ObservedValueOf<Promise<A>>;
-    let inferred = explicit!; // $ExpectType A
-  });
-});
-
-describe('ObservedUnionFromArray', () => {
-  it('should infer from an array of observables', () => {
-    let explicit: ObservedValueUnionFromArray<[Observable<A>, Observable<B>]>;
-    let inferred = explicit!; // $ExpectType A | B
-  });
-
-  it('should infer from an array of arrays', () => {
-    let explicit: ObservedValueUnionFromArray<[A[], B[]]>;
-    let inferred = explicit!; // $ExpectType A | B
-  });
-
-  it('should infer from an array of promises', () => {
-    let explicit: ObservedValueUnionFromArray<[Promise<A>, Promise<B>]>;
-    let inferred = explicit!; // $ExpectType A | B
-  });
-});
-
-describe('ObservedTupleFromArray', () => {
-  it('should infer from an array of observables', () => {
-    let explicit: ObservedValueTupleFromArray<[Observable<A>, Observable<B>]>;
-    let inferred = explicit!; // $ExpectType [A, B]
-  });
-
-  it('should infer from an array of arrays', () => {
-    let explicit: ObservedValueTupleFromArray<[A[], B[]]>;
-    let inferred = explicit!; // $ExpectType [A, B]
-  });
-
-  it('should infer from an array of promises', () => {
-    let explicit: ObservedValueTupleFromArray<[Promise<A>, Promise<B>]>;
-    let inferred = explicit!; // $ExpectType [A, B]
-  });
-});
-
-describe('Cons', () => {
-  it('should construct a tuple with the specified type at the head', () => {
-    let explicit: Cons<A, [B, C]>;
-    let inferred = explicit!; // $ExpectType [A, B, C]
-  });
-
-  it('should support rest tuples', () => {
-    let explicit: Cons<A, B[]>;
-    let inferred = explicit!; // $ExpectType [A, ...B[]]
-  });
-});
-
-describe('Head', () => {
-  it('should return the head of a tuple', () => {
-    let explicit: Head<[A, B, C]>;
-    let inferred = explicit!; // $ExpectType A
-  });
-});
-
-describe('Tail', () => {
-  it('should return the tail of a tuple', () => {
-    let explicit: Tail<[A, B, C]>;
-    let inferred = explicit!; // $ExpectType [B, C]
-  });
+import {
+  Observable,
+  ObservedValueOf,
+  ObservedValueUnionFromArray,
+  ObservedValueTupleFromArray,
+  Cons,
+  Head,
+  Tail
+} from 'rxjs';
+import { A, B, C } from './helpers';
+
+describe('ObservedValueOf', () => {
+  it('should infer from an observable', () => {
+    let explicit: ObservedValueOf<Observable<A>>;
+    let inferred = explicit!; // $ExpectType A
+  });
+
+  it('should infer from an array', () => {
+    let explicit: ObservedValueOf<A[]>;
+    let inferred = explicit!; // $ExpectType A
+  });
+
+  it('should infer from a promise', () => {
+    let explicit: ObservedValueOf<Promise<A>>;
+    let inferred = explicit!; // $ExpectType A
+  });
+});
+
+describe('ObservedUnionFromArray', () => {
+  it('should infer from an array of observables', () => {
+    let explicit: ObservedValueUnionFromArray<[Observable<A>, Observable<B>]>;
+    let inferred = explicit!; // $ExpectType A | B
+  });
+
+  it('should infer from an array of arrays', () => {
+    let explicit: ObservedValueUnionFromArray<[A[], B[]]>;
+    let inferred = explicit!; // $ExpectType A | B
+  });
+
+  it('should infer from an array of promises', () => {
+    let explicit: ObservedValueUnionFromArray<[Promise<A>, Promise<B>]>;
+    let inferred = explicit!; // $ExpectType A | B
+  });
+});
+
+describe('ObservedTupleFromArray', () => {
+  it('should infer from an array of observables', () => {
+    let explicit: ObservedValueTupleFromArray<[Observable<A>, Observable<B>]>;
+    let inferred = explicit!; // $ExpectType [A, B]
+  });
+
+  it('should infer from an array of arrays', () => {
+    let explicit: ObservedValueTupleFromArray<[A[], B[]]>;
+    let inferred = explicit!; // $ExpectType [A, B]
+  });
+
+  it('should infer from an array of promises', () => {
+    let explicit: ObservedValueTupleFromArray<[Promise<A>, Promise<B>]>;
+    let inferred = explicit!; // $ExpectType [A, B]
+  });
+});
+
+describe('Cons', () => {
+  it('should construct a tuple with the specified type at the head', () => {
+    let explicit: Cons<A, [B, C]>;
+    let inferred = explicit!; // $ExpectType [A, B, C]
+  });
+
+  it('should support rest tuples', () => {
+    let explicit: Cons<A, B[]>;
+    let inferred = explicit!; // $ExpectType [arg: A, ...rest: B[]]
+  });
+});
+
+describe('Head', () => {
+  it('should return the head of a tuple', () => {
+    let explicit: Head<[A, B, C]>;
+    let inferred = explicit!; // $ExpectType A
+  });
+});
+
+describe('Tail', () => {
+  it('should return the tail of a tuple', () => {
+    let explicit: Tail<[A, B, C]>;
+    let inferred = explicit!; // $ExpectType [B, C]
+  });
 });