MalformedType used for all invalid type annotations.

sdk/lib/_internal/compiler/implementation/ssa/ssa.dart

Index: sdk/lib/_internal/compiler/implementation/ssa/ssa.dart
diff --git a/sdk/lib/_internal/compiler/implementation/ssa/ssa.dart b/sdk/lib/_internal/compiler/implementation/ssa/ssa.dart
index 9675766ede040822aaead0ec9306d2115964da04..10e9e35424b927ce4b9c07e94091cfa3e2febe5c 100644
--- a/sdk/lib/_internal/compiler/implementation/ssa/ssa.dart
+++ b/sdk/lib/_internal/compiler/implementation/ssa/ssa.dart
@@ -35,3 +35,14 @@ part 'validate.dart';
 part 'variable_allocator.dart';
 part 'value_range_analyzer.dart';
 part 'value_set.dart';
+
+String fetchReasonsFromMalformedType(DartType type) {

[ahe, 2012/11/30 15:44:07]

For consistency, please move this function to another file.

Also, it really isn't related to SSA, so perhaps it belongs in a different
library?

[Johnni Winther, 2012/12/04 10:07:17]

Moved to typechecker.dart

+  var reasons = new List<String>();
+  type.forEachMalformedType((MalformedType malformedType) {
+    ErroneousElement error = malformedType.element;
+    Message message = error.messageKind.message(error.messageArguments);
+    reasons.add(message.toString());
+    return true;
+  });
+  return Strings.join(reasons, ', ');

[ahe, 2012/11/30 15:44:07]

I'm not sure it is a good idea to concatenate strings that are likely to be
translated.

[Johnni Winther, 2012/12/04 10:07:17]

Added a TODO.

+}