Treat Object and dynamic similarly

test/checker/checker_test.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// General type checking tests
 library dev_compiler.test.checker_test;
 
 import 'package:unittest/unittest.dart';
 
 import 'package:dev_compiler/src/testing.dart';
@@ skipping 1391 matching lines @@
   });
 
   test('Relaxed casts', () {
     testChecker({
       '/main.dart': '''
 
       class A {}
 
       class L<T> {}
       class M<T> extends L<T> {}
-      //     L<dynamic>
-      //    /          \
-      // M<dynamic> L<Object>
-      //    |      /    /
-      // M<Object>    L<A>
-      //    \        /
-      //       M<A>
+      //     L<dynamic|Object>
+      //    /              \
+      // M<dynamic|Object>  L<A>
+      //    \              /
+      //          M<A>
       // In normal Dart, there are additional edges
       //  from M<A> to M<dynamic>
-      //  from L<Object> to M<dynamic>
-      //  from L<Object> to L<dynamic>
       //  from L<A> to M<dynamic>
       //  from L<A> to L<dynamic>
       void main() {
         L lOfDs;
         L<Object> lOfOs;
         L<A> lOfAs;
 
         M mOfDs;
         M<Object> mOfOs;
         M<A> mOfAs;
 
         {
           lOfDs = mOfDs;
           lOfDs = mOfOs;
           lOfDs = mOfAs;
           lOfDs = lOfDs;
           lOfDs = lOfOs;
           lOfDs = lOfAs;
         }
         {
-          lOfOs = /*warning:DownCastDynamic*/mOfDs;
+          lOfOs = mOfDs;
           lOfOs = mOfOs;
           lOfOs = mOfAs;
-          lOfOs = /*warning:DownCastDynamic*/lOfDs;
+          lOfOs = lOfDs;
           lOfOs = lOfOs;
           lOfOs = lOfAs;
         }
         {
           lOfAs = /*warning:DownCastDynamic*/mOfDs;
           lOfAs = /*severe:StaticTypeError*/mOfOs;
           lOfAs = mOfAs;
           lOfAs = /*warning:DownCastDynamic*/lOfDs;
           lOfAs = /*info:DownCast*/lOfOs;
           lOfAs = lOfAs;
         }
         {
           mOfDs = mOfDs;
           mOfDs = mOfOs;
           mOfDs = mOfAs;
           mOfDs = /*info:DownCast*/lOfDs;
           mOfDs = /*info:DownCast*/lOfOs;
           mOfDs = /*info:DownCast*/lOfAs;
         }
         {
-          mOfOs = /*warning:DownCastDynamic*/mOfDs;
+          mOfOs = mOfDs;
           mOfOs = mOfOs;
           mOfOs = mOfAs;
           mOfOs = /*info:DownCast*/lOfDs;
           mOfOs = /*info:DownCast*/lOfOs;
           mOfOs = /*severe:StaticTypeError*/lOfAs;
         }
         {
           mOfAs = /*warning:DownCastDynamic*/mOfDs;
           mOfAs = /*info:DownCast*/mOfOs;
           mOfAs = mOfAs;
@@ skipping 1325 matching lines @@
             f = bar as II2D;
             f = bar as DD2I;
             f = bar as DI2D;
             f = bar as ID2D;
             f = bar as DD2D;
           }
       '''
     });
   });
 }