diff --git a/tests/baselines/reference/readonlyArraysAndTuples2.js b/tests/baselines/reference/readonlyArraysAndTuples2.js
new file mode 100644
index 00000000000..2e05a0ece80
--- /dev/null
+++ b/tests/baselines/reference/readonlyArraysAndTuples2.js
@@ -0,0 +1,62 @@
+//// [readonlyArraysAndTuples2.ts]
+type T10 = string[];
+type T11 = Array<string>;
+type T12 = readonly string[];
+type T13 = ReadonlyArray<string>;
+
+type T20 = [number, number];
+type T21 = readonly [number, number];
+
+declare function f1(ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]): readonly [string, string];
+
+declare const someDec: any;
+
+class A {
+  @someDec
+  j: readonly string[] = [];
+  @someDec
+  k: readonly [string, number] = ['foo', 42];
+}
+
+
+//// [readonlyArraysAndTuples2.js]
+"use strict";
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var A = /** @class */ (function () {
+    function A() {
+        this.j = [];
+        this.k = ['foo', 42];
+    }
+    __decorate([
+        someDec,
+        __metadata("design:type", Object)
+    ], A.prototype, "j");
+    __decorate([
+        someDec,
+        __metadata("design:type", Object)
+    ], A.prototype, "k");
+    return A;
+}());
+
+
+//// [readonlyArraysAndTuples2.d.ts]
+declare type T10 = string[];
+declare type T11 = Array<string>;
+declare type T12 = readonly string[];
+declare type T13 = ReadonlyArray<string>;
+declare type T20 = [number, number];
+declare type T21 = readonly [number, number];
+declare function f1(ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]): readonly [string, string];
+declare const someDec: any;
+declare class A {
+    j: readonly string[];
+    k: readonly [string, number];
+}
diff --git a/tests/baselines/reference/readonlyArraysAndTuples2.symbols b/tests/baselines/reference/readonlyArraysAndTuples2.symbols
new file mode 100644
index 00000000000..2f295873358
--- /dev/null
+++ b/tests/baselines/reference/readonlyArraysAndTuples2.symbols
@@ -0,0 +1,47 @@
+=== tests/cases/conformance/types/tuple/readonlyArraysAndTuples2.ts ===
+type T10 = string[];
+>T10 : Symbol(T10, Decl(readonlyArraysAndTuples2.ts, 0, 0))
+
+type T11 = Array<string>;
+>T11 : Symbol(T11, Decl(readonlyArraysAndTuples2.ts, 0, 20))
+>Array : Symbol(Array, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+
+type T12 = readonly string[];
+>T12 : Symbol(T12, Decl(readonlyArraysAndTuples2.ts, 1, 25))
+
+type T13 = ReadonlyArray<string>;
+>T13 : Symbol(T13, Decl(readonlyArraysAndTuples2.ts, 2, 29))
+>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
+
+type T20 = [number, number];
+>T20 : Symbol(T20, Decl(readonlyArraysAndTuples2.ts, 3, 33))
+
+type T21 = readonly [number, number];
+>T21 : Symbol(T21, Decl(readonlyArraysAndTuples2.ts, 5, 28))
+
+declare function f1(ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]): readonly [string, string];
+>f1 : Symbol(f1, Decl(readonlyArraysAndTuples2.ts, 6, 37))
+>ma : Symbol(ma, Decl(readonlyArraysAndTuples2.ts, 8, 20))
+>ra : Symbol(ra, Decl(readonlyArraysAndTuples2.ts, 8, 33))
+>mt : Symbol(mt, Decl(readonlyArraysAndTuples2.ts, 8, 56))
+>rt : Symbol(rt, Decl(readonlyArraysAndTuples2.ts, 8, 78))
+
+declare const someDec: any;
+>someDec : Symbol(someDec, Decl(readonlyArraysAndTuples2.ts, 10, 13))
+
+class A {
+>A : Symbol(A, Decl(readonlyArraysAndTuples2.ts, 10, 27))
+
+  @someDec
+>someDec : Symbol(someDec, Decl(readonlyArraysAndTuples2.ts, 10, 13))
+
+  j: readonly string[] = [];
+>j : Symbol(A.j, Decl(readonlyArraysAndTuples2.ts, 12, 9))
+
+  @someDec
+>someDec : Symbol(someDec, Decl(readonlyArraysAndTuples2.ts, 10, 13))
+
+  k: readonly [string, number] = ['foo', 42];
+>k : Symbol(A.k, Decl(readonlyArraysAndTuples2.ts, 14, 28))
+}
+
diff --git a/tests/baselines/reference/readonlyArraysAndTuples2.types b/tests/baselines/reference/readonlyArraysAndTuples2.types
new file mode 100644
index 00000000000..9e49820fdbe
--- /dev/null
+++ b/tests/baselines/reference/readonlyArraysAndTuples2.types
@@ -0,0 +1,49 @@
+=== tests/cases/conformance/types/tuple/readonlyArraysAndTuples2.ts ===
+type T10 = string[];
+>T10 : string[]
+
+type T11 = Array<string>;
+>T11 : string[]
+
+type T12 = readonly string[];
+>T12 : readonly string[]
+
+type T13 = ReadonlyArray<string>;
+>T13 : readonly string[]
+
+type T20 = [number, number];
+>T20 : [number, number]
+
+type T21 = readonly [number, number];
+>T21 : readonly [number, number]
+
+declare function f1(ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]): readonly [string, string];
+>f1 : (ma: string[], ra: readonly string[], mt: [string, string], rt: readonly [string, string]) => readonly [string, string]
+>ma : string[]
+>ra : readonly string[]
+>mt : [string, string]
+>rt : readonly [string, string]
+
+declare const someDec: any;
+>someDec : any
+
+class A {
+>A : A
+
+  @someDec
+>someDec : any
+
+  j: readonly string[] = [];
+>j : readonly string[]
+>[] : never[]
+
+  @someDec
+>someDec : any
+
+  k: readonly [string, number] = ['foo', 42];
+>k : readonly [string, number]
+>['foo', 42] : [string, number]
+>'foo' : "foo"
+>42 : 42
+}
+