Generate inferred types using all implemented interfaces.

compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java

Index: compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
diff --git a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
index 2f2b3191a999d7b34eaaed339e2af25e1be772f8..a2be1b4283495c302d38a0f88c677e700a060c4d 100644
--- a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
+++ b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java
@@ -1971,6 +1971,19 @@ public class TypeAnalyzerCompilerTest extends CompilerTestCase {
     assertInferredElementTypeString(libraryResult, "v2", "double");
     assertInferredElementTypeString(libraryResult, "v3", "double");
   }
+  
+  public void test_typesPropagation_FunctionAliasType() throws Exception {
+    AnalyzeLibraryResult libraryResult = analyzeLibrary(
+        "// filler filler filler filler filler filler filler filler filler filler",
+        "typedef F();",
+        "foo(F f) {",
+        "  var v = f;",
+        "  v();",
+        "}",
+        "",
+        "");
+    assertInferredElementTypeString(libraryResult, "v", "F");
+  }
 
   public void test_getType_binaryExpression() throws Exception {
     AnalyzeLibraryResult libraryResult = analyzeLibrary(