diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.errors.txt b/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.errors.txt
new file mode 100644
index 00000000000..56951e380e4
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.errors.txt
@@ -0,0 +1,10 @@
+tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid01.ts(1,10): error TS2394: Overload signature is not compatible with function implementation.
+
+
+==== tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid01.ts (1 errors) ====
+    function f(x: string): number;
+             ~
+!!! error TS2394: Overload signature is not compatible with function implementation.
+    function f(x: string): void {
+        return;
+    } 
\ No newline at end of file
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.js b/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.js
new file mode 100644
index 00000000000..b2d7e64d58e
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid01.js
@@ -0,0 +1,10 @@
+//// [functionOverloadCompatibilityWithVoid01.ts]
+function f(x: string): number;
+function f(x: string): void {
+    return;
+} 
+
+//// [functionOverloadCompatibilityWithVoid01.js]
+function f(x) {
+    return;
+}
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.errors.txt b/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.errors.txt
new file mode 100644
index 00000000000..33155afb5f5
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.errors.txt
@@ -0,0 +1,10 @@
+tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid02.ts(1,10): error TS2394: Overload signature is not compatible with function implementation.
+
+
+==== tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid02.ts (1 errors) ====
+    function f(x: string): void;
+             ~
+!!! error TS2394: Overload signature is not compatible with function implementation.
+    function f(x: string): number {
+        return 0;
+    } 
\ No newline at end of file
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.js b/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.js
new file mode 100644
index 00000000000..4f53be1f9c3
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid02.js
@@ -0,0 +1,10 @@
+//// [functionOverloadCompatibilityWithVoid02.ts]
+function f(x: string): void;
+function f(x: string): number {
+    return 0;
+} 
+
+//// [functionOverloadCompatibilityWithVoid02.js]
+function f(x) {
+    return 0;
+}
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.js b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.js
new file mode 100644
index 00000000000..b83939442cb
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.js
@@ -0,0 +1,10 @@
+//// [functionOverloadCompatibilityWithVoid03.ts]
+function f(x: string): void;
+function f(x: string): void {
+    return;
+} 
+
+//// [functionOverloadCompatibilityWithVoid03.js]
+function f(x) {
+    return;
+}
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.symbols b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.symbols
new file mode 100644
index 00000000000..57fe6006ced
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.symbols
@@ -0,0 +1,11 @@
+=== tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid03.ts ===
+function f(x: string): void;
+>f : Symbol(f, Decl(functionOverloadCompatibilityWithVoid03.ts, 0, 0), Decl(functionOverloadCompatibilityWithVoid03.ts, 0, 28))
+>x : Symbol(x, Decl(functionOverloadCompatibilityWithVoid03.ts, 0, 11))
+
+function f(x: string): void {
+>f : Symbol(f, Decl(functionOverloadCompatibilityWithVoid03.ts, 0, 0), Decl(functionOverloadCompatibilityWithVoid03.ts, 0, 28))
+>x : Symbol(x, Decl(functionOverloadCompatibilityWithVoid03.ts, 1, 11))
+
+    return;
+} 
diff --git a/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.types b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.types
new file mode 100644
index 00000000000..74dfa28c142
--- /dev/null
+++ b/tests/baselines/reference/functionOverloadCompatibilityWithVoid03.types
@@ -0,0 +1,11 @@
+=== tests/cases/conformance/functions/functionOverloadCompatibilityWithVoid03.ts ===
+function f(x: string): void;
+>f : (x: string) => void
+>x : string
+
+function f(x: string): void {
+>f : (x: string) => void
+>x : string
+
+    return;
+}