Extend pkg/front_end/lib/src/fasta/kernel/verifier.dart to check for UnknownType.

Extend pkg/front_end/lib/src/fasta/kernel/verifier.dart to check for UnknownType.

UnknownType should only ever appear in the type schemas used by type
inference; it should not show up in a completed program.

R=ahe@google.com

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

[Paul Berry, 2017-04-27 15:57:58]

paulberry@google.com changed reviewers:
+ ahe@google.com

[ahe, 2017-04-27 16:38:20]

lgtm

https://codereview.chromium.org/2843333005/diff/1/pkg/front_end/lib/src/fasta...
File pkg/front_end/lib/src/fasta/kernel/verifier.dart (right):

https://codereview.chromium.org/2843333005/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/kernel/verifier.dart:49:
printUnexpected(Uri.parse(fileUri), node?.fileOffset ?? 0, "$error");
-1.

[Paul Berry, 2017-04-27 16:43:52]

https://codereview.chromium.org/2843333005/diff/1/pkg/front_end/lib/src/fasta...
File pkg/front_end/lib/src/fasta/kernel/verifier.dart (right):

https://codereview.chromium.org/2843333005/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/kernel/verifier.dart:49:
printUnexpected(Uri.parse(fileUri), node?.fileOffset ?? 0, "$error");
On 2017/04/27 16:38:20, ahe wrote:
> -1.

Done.

[Paul Berry, 2017-04-27 16:58:27]

Description was changed from

==========
Extend pkg/front_end/lib/src/fasta/kernel/verifier.dart to check for
UnknownType.

UnknownType should only ever appear in the type schemas used by type
inference; it should not show up in a completed program.
==========

to

==========
Extend pkg/front_end/lib/src/fasta/kernel/verifier.dart to check for
UnknownType.

UnknownType should only ever appear in the type schemas used by type
inference; it should not show up in a completed program.

R=ahe@google.com

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

[Paul Berry, 2017-04-27 16:58:28]

Committed patchset #1 (id:1) manually as
748e7c8deddaaf3613a0a40a85cbb5b5ae8e3531 (presubmit successful).