diff --git a/tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts b/tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts
index 5d8fbc4b37..2c0f7433ea 100644
--- a/tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts
+++ b/tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts
@@ -30,6 +30,14 @@ type B = { b: string };
 
 type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
 
+type ReadWrite<T> = { -readonly [P in keyof T] : T[P] };
+
+type T50 = Readonly<string[]>;
+type T51 = Readonly<[number, number]>;
+type T52 = Partial<Readonly<string[]>>;
+type T53 = Readonly<Partial<string[]>>;
+type T54 = ReadWrite<Required<T53>>;
+
 declare function unboxify<T>(x: Boxified<T>): T;
 
 declare let x10: [Box<number>, Box<string>, ...Box<boolean>[]];
diff --git a/tests/cases/conformance/types/tuple/readonlyArraysAndTuples.ts b/tests/cases/conformance/types/tuple/readonlyArraysAndTuples.ts
new file mode 100644
index 0000000000..92179edc04
--- /dev/null
+++ b/tests/cases/conformance/types/tuple/readonlyArraysAndTuples.ts
@@ -0,0 +1,24 @@
+// @strict: true
+
+type T10 = string[];
+type T11 = Array<string>;
+type T12 = readonly string[];
+type T13 = ReadonlyArray<string>;
+
+type T20 = [number, number];
+type T21 = readonly [number, number];
+
+function f1(ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]) {
+    ma = ra;  // Error
+    ma = mt;
+    ma = rt;  // Error
+    ra = ma;
+    ra = mt;
+    ra = rt;
+    mt = ma;  // Error
+    mt = ra;  // Error
+    mt = rt;  // Error
+    rt = ma;  // Error
+    rt = ra;  // Error
+    rt = mt;
+}