Merge pull request microsoft#6699 from RyanCavanaugh/fix6663

RyanCavanaugh · RyanCavanaugh · commit 2ef6f135328f · 2016-01-28T13:30:03.000-08:00
Use union types in the return type of functions in the error case
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -10421,7 +10421,8 @@ namespace ts {
                     }
                     else {
                         error(func, Diagnostics.No_best_common_type_exists_among_return_expressions);
-                        return unknownType;
+                        // Defer to unioning the return types so we get a) downstream errors earlier and b) better Salsa experience
+                        return getUnionType(types);
                     }
                 }
 
diff --git a/tests/cases/fourslash/getJavaScriptCompletions19.ts b/tests/cases/fourslash/getJavaScriptCompletions19.ts
@@ -0,0 +1,25 @@
+/// <reference path="fourslash.ts" />
+
+// @allowNonTsExtensions: true
+// @Filename: file.js
+//// function fn() {
+//// 	if (foo) {
+//// 		return 0;
+//// 	} else {
+//// 		return '0';
+//// 	}
+//// }
+//// let x = fn();
+//// if(typeof x === 'string') {
+//// 	x/*str*/
+//// } else {
+//// 	x/*num*/
+//// }
+
+goTo.marker('str');
+edit.insert('.');
+verify.completionListContains('substr', undefined, undefined, 'method');
+
+goTo.marker('num');
+edit.insert('.');
+verify.completionListContains('toFixed', undefined, undefined, 'method');

Original file line number	Diff line number	Diff line change
`@@ -10421,7 +10421,8 @@ namespace ts {`
`10421`	`10421`	`}`
`10422`	`10422`	`else {`
`10423`	`10423`	`error(func, Diagnostics.No_best_common_type_exists_among_return_expressions);`
`10424`		`- return unknownType;`
	`10424`	`+ // Defer to unioning the return types so we get a) downstream errors earlier and b) better Salsa experience`
	`10425`	`+ return getUnionType(types);`
`10425`	`10426`	`}`
`10426`	`10427`	`}`
`10427`	`10428`