*** empty log message ***

2 files changed, 230 insertions, 222 deletions

diff --git a/test/files/neg/altherr3.check b/test/files/neg/altherr3.check
index 7d9d521e02..076742e124 100644
--- a/test/files/neg/altherr3.check
+++ b/test/files/neg/altherr3.check
@@ -1,172 +1,176 @@
-altherr3.scala:26: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int
+altherr3.scala:26: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0());                             // error  1
                 ^
-altherr3.scala:27: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+altherr3.scala:27: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0()));                       // error  2
                 ^
-altherr3.scala:28: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:28: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0())));                 // error  3
                 ^
-altherr3.scala:29: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]]
- required: scala.Int
+altherr3.scala:29: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0(foo0()))));           // error  4
                 ^
-altherr3.scala:32: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:32: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0()));                  // error  5
-                     ^
-altherr3.scala:33: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:33: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0())));            // error  6
                           ^
-altherr3.scala:34: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:34: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error  7
                           ^
-altherr3.scala:38: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:38: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0())));       // error  8
-                               ^
-altherr3.scala:39: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                                    ^
+altherr3.scala:39: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error  9
                                     ^
-altherr3.scala:49: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:49: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0()));                       // error 10
-                ^
-altherr3.scala:50: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                     ^
+altherr3.scala:50: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0())));                 // error 11
                      ^
-altherr3.scala:51: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:51: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0(foo0()))));           // error 12
                      ^
-altherr3.scala:55: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:55: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0())));            // error 13
-                          ^
-altherr3.scala:56: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                               ^
+altherr3.scala:56: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 14
                                ^
-altherr3.scala:61: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:61: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15
-                                    ^
-altherr3.scala:72: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+                                         ^
+altherr3.scala:72: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0())));                 // error 16
-                     ^
-altherr3.scala:73: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:73: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0(foo0()))));           // error 17
                           ^
-altherr3.scala:78: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:78: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 18
-                               ^
+                                    ^
 altherr3.scala:88: type mismatch;
  found   : bug.Foo[bug.Foo[scala.Any]]
  required: bug.Foo[bug.Foo[bug.Foo[<any type>]]]
   bar3(foo0(foo0()));                            // error 19 (inference fails)
            ^
-altherr3.scala:95: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:95: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar3[Int](foo0(foo0(foo0(foo0()))));           // error 20
-                          ^
-altherr3.scala:116: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int
+                               ^
+altherr3.scala:116: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1());                             // error 21
                 ^
-altherr3.scala:117: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+altherr3.scala:117: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1()));                       // error 22
                 ^
-altherr3.scala:118: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:118: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1())));                 // error 23
                 ^
-altherr3.scala:119: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]]
- required: scala.Int
+altherr3.scala:119: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1(foo1()))));           // error 24
                 ^
-altherr3.scala:122: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:122: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1()));                  // error 25
-                     ^
-altherr3.scala:123: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:123: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1(foo1())));            // error 26
                           ^
-altherr3.scala:124: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:124: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo1(foo1(foo1()))));      // error 27
                           ^
-altherr3.scala:128: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:128: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo1(foo1())));       // error 28
-                               ^
-altherr3.scala:129: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                                    ^
+altherr3.scala:129: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29
                                     ^
-altherr3.scala:139: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:139: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1()));                       // error 30
-                ^
-altherr3.scala:140: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                     ^
+altherr3.scala:140: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1())));                 // error 31
                      ^
-altherr3.scala:141: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:141: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1(foo1()))));           // error 32
                      ^
-altherr3.scala:145: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:145: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1())));            // error 33
-                          ^
-altherr3.scala:146: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                               ^
+altherr3.scala:146: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1(foo1()))));      // error 34
                                ^
-altherr3.scala:151: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:151: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35
-                                    ^
+                                         ^
 35 errors found
diff --git a/test/neg/altherr3.check b/test/neg/altherr3.check
index 7d9d521e02..076742e124 100644
--- a/test/neg/altherr3.check
+++ b/test/neg/altherr3.check
@@ -1,172 +1,176 @@
-altherr3.scala:26: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int
+altherr3.scala:26: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0());                             // error  1
                 ^
-altherr3.scala:27: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+altherr3.scala:27: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0()));                       // error  2
                 ^
-altherr3.scala:28: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:28: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0())));                 // error  3
                 ^
-altherr3.scala:29: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]]
- required: scala.Int
+altherr3.scala:29: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0(foo0()))));           // error  4
                 ^
-altherr3.scala:32: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:32: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0()));                  // error  5
-                     ^
-altherr3.scala:33: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:33: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0())));            // error  6
                           ^
-altherr3.scala:34: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:34: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error  7
                           ^
-altherr3.scala:38: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:38: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0())));       // error  8
-                               ^
-altherr3.scala:39: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                                    ^
+altherr3.scala:39: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error  9
                                     ^
-altherr3.scala:49: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:49: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0()));                       // error 10
-                ^
-altherr3.scala:50: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                     ^
+altherr3.scala:50: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0())));                 // error 11
                      ^
-altherr3.scala:51: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:51: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0(foo0()))));           // error 12
                      ^
-altherr3.scala:55: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:55: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0())));            // error 13
-                          ^
-altherr3.scala:56: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                               ^
+altherr3.scala:56: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 14
                                ^
-altherr3.scala:61: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:61: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15
-                                    ^
-altherr3.scala:72: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+                                         ^
+altherr3.scala:72: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0())));                 // error 16
-                     ^
-altherr3.scala:73: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:73: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0(foo0()))));           // error 17
                           ^
-altherr3.scala:78: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:78: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 18
-                               ^
+                                    ^
 altherr3.scala:88: type mismatch;
  found   : bug.Foo[bug.Foo[scala.Any]]
  required: bug.Foo[bug.Foo[bug.Foo[<any type>]]]
   bar3(foo0(foo0()));                            // error 19 (inference fails)
            ^
-altherr3.scala:95: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:95: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar3[Int](foo0(foo0(foo0(foo0()))));           // error 20
-                          ^
-altherr3.scala:116: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int
+                               ^
+altherr3.scala:116: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1());                             // error 21
                 ^
-altherr3.scala:117: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+altherr3.scala:117: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1()));                       // error 22
                 ^
-altherr3.scala:118: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:118: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1())));                 // error 23
                 ^
-altherr3.scala:119: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]]
- required: scala.Int
+altherr3.scala:119: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1(foo1()))));           // error 24
                 ^
-altherr3.scala:122: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:122: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1()));                  // error 25
-                     ^
-altherr3.scala:123: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                          ^
+altherr3.scala:123: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1(foo1())));            // error 26
                           ^
-altherr3.scala:124: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:124: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo1(foo1(foo1()))));      // error 27
                           ^
-altherr3.scala:128: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:128: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo1(foo1())));       // error 28
-                               ^
-altherr3.scala:129: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                                    ^
+altherr3.scala:129: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29
                                     ^
-altherr3.scala:139: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:139: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1()));                       // error 30
-                ^
-altherr3.scala:140: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                     ^
+altherr3.scala:140: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1())));                 // error 31
                      ^
-altherr3.scala:141: type mismatch;
- found   : bug.Foo[bug.Foo[bug.Foo[scala.Any]]]
- required: scala.Int
+altherr3.scala:141: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1(foo1()))));           // error 32
                      ^
-altherr3.scala:145: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:145: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1())));            // error 33
-                          ^
-altherr3.scala:146: type mismatch;
- found   : bug.Foo[bug.Foo[scala.Any]]
- required: scala.Int
+                               ^
+altherr3.scala:146: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any])
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1(foo1()))));      // error 34
                                ^
-altherr3.scala:151: polymorphic argument cannot be instantiated to formal parameter type;
- found   : [a <: scala.Any]bug.Foo[a]
- required: scala.Int
+altherr3.scala:151: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+ --- because ---
+result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35
-                                    ^
+                                         ^
 35 errors found