Make a type malbounded if one of its type arguments is malbounded, even if

runtime/vm/class_finalizer.cc

Index: runtime/vm/class_finalizer.cc
===================================================================
--- runtime/vm/class_finalizer.cc	(revision 31900)
+++ runtime/vm/class_finalizer.cc	(working copy)
@@ -638,6 +638,15 @@
       continue;
     }
     ASSERT(type_arg.IsFinalized());
+    if (type_arg.IsMalbounded()) {
+      // The type argument itself is already malbounded, independently of the
+      // declared bound, which may be Object.
+      // Propagate the bound error from the type argument to the type.
+      if (bound_error->IsNull()) {
+        *bound_error = type_arg.error();
+        ASSERT(!bound_error->IsNull());
+      }
+    }
     cls_type_param = cls_type_params.TypeAt(i);
     const TypeParameter& type_param = TypeParameter::Cast(cls_type_param);
     ASSERT(type_param.IsFinalized());