Relax type bound restrictions slightly, apply to typedefs.

Relax type bound restrictions slightly, apply to typedefs.

This relaxes the restriction on raw types in bounds slightly, to allow
parameterized types in bounds to be used without type arguments if
their bounds are empty.

This CL also fixes the error check for raw types in type bounds to
apply to typedefs as well.


BUG=
R=scheglov@google.com

Committed: https://github.com/dart-lang/sdk/commit/a6138dad2aeb247d6c002c43466f7f10afdbcf53

[Leaf, 2017-01-27 23:24:05]

leafp@google.com changed reviewers:
+ scheglov@google.com

[Leaf, 2017-01-27 23:24:06]

https://codereview.chromium.org/2658303002/diff/20001/pkg/analyzer/lib/src/ge...
File pkg/analyzer/lib/src/generated/error_verifier.dart (right):

https://codereview.chromium.org/2658303002/diff/20001/pkg/analyzer/lib/src/ge...
pkg/analyzer/lib/src/generated/error_verifier.dart:5242: if (type is
ParameterizedType) {
This change is to make this apply to typedefs.

https://codereview.chromium.org/2658303002/diff/20001/pkg/analyzer/lib/src/ge...
pkg/analyzer/lib/src/generated/error_verifier.dart:5245:
element.typeParameters.any((p) => p.bound != null)) {
This change is to allow 

class A<T> {}
class B<T extends A> {}

 i.e. allow parameterized type A to be used as a raw type in a bound when A has
no explicit bound

[scheglov, 2017-01-28 01:17:51]

LGTM

[Leaf, 2017-01-28 02:05:11]

Description was changed from

==========
Relax type bound restrictions slightly, apply to typedefs.

This relaxes the restriction on raw types in bounds slightly, to allow
parameterized types in bounds to be used without type arguments if
their bounds are empty.

This CL also fixes the error check for raw types in type bounds to
apply to typedefs as well.


BUG=
==========

to

==========
Relax type bound restrictions slightly, apply to typedefs.

This relaxes the restriction on raw types in bounds slightly, to allow
parameterized types in bounds to be used without type arguments if
their bounds are empty.

This CL also fixes the error check for raw types in type bounds to
apply to typedefs as well.


BUG=
R=scheglov@google.com

Committed:
https://github.com/dart-lang/sdk/commit/a6138dad2aeb247d6c002c43466f7f10afdbcf53
==========

[Leaf, 2017-01-28 02:05:12]

Committed patchset #2 (id:20001) manually as
a6138dad2aeb247d6c002c43466f7f10afdbcf53 (presubmit successful).