Merge pull request #592 from vomvoru/patch-1

Fix Best common type.

pages/Type Inference.md

@@ -41,9 +41,7 @@ To correct this, instead explicitly provide the type when no one type is a super
 let zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()];
 ```
 
-When no best common type is found, the resulting inference is the empty object type, `{}`.
-Because this type has no members, attempting to use any properties of it will cause an error.
-This result allows you to still use the object in a type-agnostic manner, while providing type safety in cases where the type of the object can't be implicitly determined.
+When no best common type is found, the resulting inference is the union array type, `(Rhino | Elephant | Snake)[]`.
 
 # Contextual Type