Relax type bound restrictions slightly, apply to typedefs.

pkg/analyzer/test/src/task/strong/inferred_type_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.
 
 // TODO(jmesserly): this file needs to be refactored, it's a port from
 // package:dev_compiler's tests
 /// Tests for type inference.
 library analyzer.test.src.task.strong.inferred_type_test;
 
 import 'package:analyzer/dart/element/element.dart';
@@ skipping 4254 matching lines @@
 class A<T extends int> {}
 class B<T extends /*error:NOT_INSTANTIATED_BOUND*/A> {}
 B v = null;
 ''');
     expect(unit.topLevelVariables[0].type.toString(), 'B<A<dynamic>>');
   }
 
   void test_instantiateToBounds_generic2_noBound() {
     var unit = checkFile(r'''
 class A<T> {}
-class B<T extends /*error:NOT_INSTANTIATED_BOUND*/A> {}
+class B<T extends A> {}
 B v = null;
 ''');
     expect(unit.topLevelVariables[0].type.toString(), 'B<A<dynamic>>');
   }
 
   void test_instantiateToBounds_generic_hasBound_definedAfter() {
     var unit = checkFile(r'''
 A v = null;
 class A<T extends int> {}
 ''');
@@ skipping 1094 matching lines @@
   }
 
   void setUp() {
     helper.doSetUp();
   }
 
   void tearDown() {
     helper.doTearDown();
   }
 }