Add more tests

Author: ahejlsberg

tests/cases/conformance/types/mapped/mappedTypeModifiers.ts

@@ -19,19 +19,22 @@ var v01: Pick<Pick<T, keyof T>, keyof T>;
 var v02: TP;
 var v02: { [P in keyof T]?: T[P] };
 var v02: Partial<T>;
-var v02: Pick<TP, keyof T>;
+var v02: { [P in keyof TP]: TP[P] }
+var v02: Pick<TP, keyof TP>;
 
 var v03: TR;
 var v03: { readonly [P in keyof T]: T[P] };
 var v03: Readonly<T>;
-var v03: Pick<TR, keyof T>;
+var v03: { [P in keyof TR]: TR[P] }
+var v03: Pick<TR, keyof TR>;
 
 var v04: TPR;
 var v04: { readonly [P in keyof T]?: T[P] };
 var v04: Partial<TR>;
 var v04: Readonly<TP>;
 var v04: Partial<Readonly<T>>;
 var v04: Readonly<Partial<T>>;
+var v04: { [P in keyof TPR]: TPR[P] }
 var v04: Pick<TPR, keyof T>;
 
 type Boxified<T> = { [P in keyof T]: { x: T[P] } };
@@ -55,17 +58,20 @@ var b01: Pick<Pick<B, keyof B>, keyof B>;
 var b02: BP;
 var b02: { [P in keyof B]?: B[P] };
 var b02: Partial<B>;
-var b02: Pick<BP, keyof B>;
+var b02: { [P in keyof BP]: BP[P] }
+var b02: Pick<BP, keyof BP>;
 
 var b03: BR;
 var b03: { readonly [P in keyof B]: B[P] };
 var b03: Readonly<B>;
-var b03: Pick<BR, keyof B>;
+var b03: { [P in keyof BR]: BR[P] }
+var b03: Pick<BR, keyof BR>;
 
 var b04: BPR;
 var b04: { readonly [P in keyof B]?: B[P] };
 var b04: Partial<BR>;
 var b04: Readonly<BP>;
 var b04: Partial<Readonly<B>>;
 var b04: Readonly<Partial<B>>;
-var b04: Pick<BPR, keyof B>;
+var b04: { [P in keyof BPR]: BPR[P] }
+var b04: Pick<BPR, keyof BPR>;