Improve annotation of type variables in type inference tests.

pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart

Index: pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
index 7139558d348c0e87d23ec12b588a0162e5192d26..4221261e9b5067ae2ef5f2d6fee2b771f25b4fee 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart
@@ -8,13 +8,14 @@ library test;
 void main() {
   {
     T f<T>(T x) => null;
-    var /*@type=(T) -> T*/ v1 = f;
-    v1 = /*@returnType=S*/ <S>(/*@type=S*/ x) => x;
+    var /*@type=(main::f::T) -> main::f::T*/ v1 = f;
+    v1 = /*@returnType=main::::S*/ <S>(/*@type=main::::S*/ x) => x;
   }
   {
     List<T> f<T>(T x) => null;
-    var /*@type=(T) -> List<T>*/ v2 = f;
-    v2 = /*@returnType=List<S>*/ <S>(/*@type=S*/ x) => /*@typeArgs=S*/ [x];
+    var /*@type=(main::f::T) -> List<main::f::T>*/ v2 = f;
+    v2 = /*@returnType=List<main::::S>*/ <
+        S>(/*@type=main::::S*/ x) => /*@typeArgs=main::::S*/ [x];
     Iterable<int> r = /*@typeArgs=int*/ v2(42);
     Iterable<String> s = /*@typeArgs=String*/ v2('hello');
     Iterable<List<int>> t = /*@typeArgs=List<int>*/ v2(<int>[]);