Add an assertion to ensure that the return type and types of parameters are canonical or a TypeParam

runtime/vm/class_finalizer.cc

Index: runtime/vm/class_finalizer.cc
diff --git a/runtime/vm/class_finalizer.cc b/runtime/vm/class_finalizer.cc
index c3c152b8abf671f635793a4b4cd1d9aa5f7db1e0..46f3f4dcbaa47b0bc8055b80a7a5b514bda8204f 100644
--- a/runtime/vm/class_finalizer.cc
+++ b/runtime/vm/class_finalizer.cc
@@ -2332,6 +2332,9 @@ void ClassFinalizer::FinalizeClass(const Class& cls) {
   if (cls.is_finalized()) {
     return;
   }
+  if (FLAG_trace_class_finalization) {
+    OS::Print("Finalize %s\n", cls.ToCString());
+  }
   if (cls.is_patch()) {
     // The fields and functions of a patch class are copied to the
     // patched class after parsing. There is nothing to finalize.
@@ -2340,9 +2343,6 @@ void ClassFinalizer::FinalizeClass(const Class& cls) {
     cls.set_is_finalized();
     return;
   }
-  if (FLAG_trace_class_finalization) {
-    OS::Print("Finalize %s\n", cls.ToCString());
-  }
   if (cls.IsMixinApplication()) {
     // Copy instance methods and fields from the mixin class.
     // This has to happen before the check whether the methods of