Use "bool" as the downward inference context for assert conditions.

pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect

Index: pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect b/pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect
index 4a315f766467326fd962e72397967413a604c6aa..c56b870453b8038dff6f5cf4ac8e4f1f3ec4b2f0 100644
--- a/pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/assert_initializer.dart.strong.expect
@@ -5,18 +5,18 @@ import "dart:core" as core;
 class C extends core::Object {
   constructor expressionOnly() → void
     : final dynamic #t1 = () → dynamic
-      assert(self::f<dynamic>());
+      assert(self::f<core::bool>());
 .call(), super core::Object::•()
     ;
   constructor expressionAndMessage() → void
     : final dynamic #t2 = () → dynamic
-      assert(self::f<dynamic>(), self::f<dynamic>());
+      assert(self::f<core::bool>(), self::f<dynamic>());
 .call(), super core::Object::•()
     ;
 }
 static method f<T extends core::Object>() → self::f::T
   return null;
 static method main() → dynamic {
-  assert(self::f<dynamic>());
-  assert(self::f<dynamic>(), self::f<dynamic>());
+  assert(self::f<core::bool>());
+  assert(self::f<core::bool>(), self::f<dynamic>());
 }