Update strong mode expectations to reflect kernel type parameter conventions.

Update strong mode expectations to reflect kernel type parameter conventions.

When outputting the name of a type parameter, Kernel follows two
special conventions:

- It fully qualifies the name of the type parameter with respect to
  the scope of its declaration; so for example a type parameter `T` of
  a class `C` in a library `lib` might be annotated as `lib::C::T`.

- Within a factory constructor, type parameters of the class are
  annotated as though they are type parameters of the factory
  constructor (this is because factory constructors are represented in
  kernel as static methods).

This CL adjusts the strong mode type inference tests to reflect this
behavior (and modifies analyzer's front_end_inference_test so that
follows the kernel conventions).

R=scheglov@google.com

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

[Paul Berry, 2017-05-25 17:55:51]

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

[scheglov, 2017-05-25 18:00:36]

LGTM

[Paul Berry, 2017-05-25 18:11:18]

Description was changed from

==========
Update strong mode expectations to reflect kernel type parameter conventions.

When outputting the name of a type parameter, Kernel follows two
special conventions:

- It fully qualifies the name of the type parameter with respect to
  the scope of its declaration; so for example a type parameter `T` of
  a class `C` in a library `lib` might be annotated as `lib::C::T`.

- Within a factory constructor, type parameters of the class are
  annotated as though they are type parameters of the factory
  constructor (this is because factory constructors are represented in
  kernel as static methods).

This CL adjusts the strong mode type inference tests to reflect this
behavior (and modifies analyzer's front_end_inference_test so that
follows the kernel conventions).
==========

to

==========
Update strong mode expectations to reflect kernel type parameter conventions.

When outputting the name of a type parameter, Kernel follows two
special conventions:

- It fully qualifies the name of the type parameter with respect to
  the scope of its declaration; so for example a type parameter `T` of
  a class `C` in a library `lib` might be annotated as `lib::C::T`.

- Within a factory constructor, type parameters of the class are
  annotated as though they are type parameters of the factory
  constructor (this is because factory constructors are represented in
  kernel as static methods).

This CL adjusts the strong mode type inference tests to reflect this
behavior (and modifies analyzer's front_end_inference_test so that
follows the kernel conventions).

R=scheglov@google.com

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

[Paul Berry, 2017-05-25 18:11:20]

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