Add tests

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

@@ -125,3 +125,9 @@ c.setState({ });
 c.setState(foo);
 c.setState({ a: undefined });  // Error
 c.setState({ c: true });  // Error
+
+type T2 = { a?: number, [key: string]: any };
+
+let x1: T2 = { a: 'no' };  // Error
+let x2: Partial<T2> = { a: 'no' }; // Error
+let x3: { [P in keyof T2]: T2[P]} = { a: 'no' };  // Error

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

@@ -1,4 +1,5 @@
 // @strictNullChecks: true
+// @noimplicitany: true
 
 type T = { a: number, b: string };
 type TP = { a?: number, b?: string };
@@ -74,4 +75,26 @@ var b04: Readonly<BP>;
 var b04: Partial<Readonly<B>>;
 var b04: Readonly<Partial<B>>;
 var b04: { [P in keyof BPR]: BPR[P] }
-var b04: Pick<BPR, keyof BPR>;
+var b04: Pick<BPR, keyof BPR>;
+
+type Foo = { prop: number, [x: string]: number };
+
+function f1(x: Partial<Foo>) {
+    x.prop; // ok
+    (x["other"] || 0).toFixed();
+}
+
+function f2(x: Readonly<Foo>) {
+    x.prop; // ok
+    x["other"].toFixed();
+}
+
+function f3(x: Boxified<Foo>) {
+    x.prop; // ok
+    x["other"].x.toFixed();
+}
+
+function f4(x: { [P in keyof Foo]: Foo[P] }) {
+    x.prop; // ok
+    x["other"].toFixed();
+}