Suppress NO_DEFAULT_BOUND errors.

Suppress NO_DEFAULT_BOUND errors.

This suppresses the emission of NO_DEFAULT_BOUND errors, and makes the
default instantation for recursive bounds backwards (and possibly
forwards) compatible.  Also adds a couple of currently failing tests
for cases that should be made erroneous regardless of whether we
choose to support malbounded type constructor applications.

BUG=
R=scheglov@google.com

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

[Leaf, 2017-02-01 17:21:16]

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

[Leaf, 2017-02-01 17:21:17]

We're pushing off this error for one release to unblock good the google3 roll.

[scheglov, 2017-02-01 17:25:42]

lgtm

[Leaf, 2017-02-01 18:18:12]

Description was changed from

==========
Suppress NO_DEFAULT_BOUND errors.

This suppresses the emission of NO_DEFAULT_BOUND errors, and makes the
default instantation for recursive bounds backwards (and possibly
forwards) compatible.  Also adds a couple of currently failing tests
for cases that should be made erroneous regardless of whether we
choose to support malbounded type constructor applications.

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

to

==========
Suppress NO_DEFAULT_BOUND errors.

This suppresses the emission of NO_DEFAULT_BOUND errors, and makes the
default instantation for recursive bounds backwards (and possibly
forwards) compatible.  Also adds a couple of currently failing tests
for cases that should be made erroneous regardless of whether we
choose to support malbounded type constructor applications.

BUG=
R=scheglov@google.com

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

[Leaf, 2017-02-01 18:18:14]

Committed patchset #1 (id:1) manually as
3fa3964a70024787e8fbde9208815aeb0658608f (presubmit successful).