summaryrefslogtreecommitdiff
path: root/test/files/neg
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg')
-rw-r--r--test/files/neg/bug1106.check7
-rw-r--r--test/files/neg/bug1112.check4
-rw-r--r--test/files/neg/bug1224.check4
-rw-r--r--test/files/neg/bug1364.check5
-rw-r--r--test/files/neg/bug1623.check4
-rw-r--r--test/files/neg/bug1838.check7
-rw-r--r--test/files/neg/bug1845.check4
-rw-r--r--test/files/neg/bug1909b.check4
-rw-r--r--test/files/neg/bug200.check4
-rw-r--r--test/files/neg/bug2144.check4
-rw-r--r--test/files/neg/bug2275a.check13
-rw-r--r--test/files/neg/bug2275b.check10
-rw-r--r--test/files/neg/bug2441.check4
-rw-r--r--test/files/neg/bug284.check8
-rw-r--r--test/files/neg/bug3209.check4
-rw-r--r--test/files/neg/bug3240.check7
-rw-r--r--test/files/neg/bug343.check4
-rw-r--r--test/files/neg/bug3736.check16
-rw-r--r--test/files/neg/bug3909.check4
-rw-r--r--test/files/neg/bug3913.check4
-rw-r--r--test/files/neg/bug4069.check16
-rw-r--r--test/files/neg/bug4217.check4
-rw-r--r--test/files/neg/bug4419.check4
-rw-r--r--test/files/neg/bug464-neg.check16
-rw-r--r--test/files/neg/bug473.check4
-rw-r--r--test/files/neg/bug500.check4
-rw-r--r--test/files/neg/bug510.check4
-rw-r--r--test/files/neg/bug521.check15
-rw-r--r--test/files/neg/bug545.check7
-rw-r--r--test/files/neg/bug550.check7
-rw-r--r--test/files/neg/bug585.check4
-rw-r--r--test/files/neg/bug593.check4
-rw-r--r--test/files/neg/bug631.check4
-rw-r--r--test/files/neg/bug639.check4
-rw-r--r--test/files/neg/bug649.check4
-rw-r--r--test/files/neg/bug664.check7
-rw-r--r--test/files/neg/bug693.check4
-rw-r--r--test/files/neg/bug700.check4
-rw-r--r--test/files/neg/bug715.check4
-rw-r--r--test/files/neg/bug798.check4
-rw-r--r--test/files/neg/bug800.check13
-rw-r--r--test/files/neg/bug845.check4
-rw-r--r--test/files/neg/bug882.check4
-rw-r--r--test/files/neg/bug908.check4
-rw-r--r--test/files/neg/bug935.check7
-rw-r--r--test/files/neg/bug944.check4
-rw-r--r--test/files/neg/bug961.check4
-rw-r--r--test/files/neg/t0418.check (renamed from test/files/neg/bug418.check)4
-rw-r--r--test/files/neg/t0418.scala (renamed from test/files/neg/bug0418.scala)0
-rw-r--r--test/files/neg/t1010.check (renamed from test/files/neg/bug1010.check)2
-rw-r--r--test/files/neg/t1010.scala (renamed from test/files/neg/bug1010.scala)0
-rw-r--r--test/files/neg/t1011.check (renamed from test/files/neg/bug1011.check)2
-rw-r--r--test/files/neg/t1011.scala (renamed from test/files/neg/bug1011.scala)0
-rw-r--r--test/files/neg/t1017.check (renamed from test/files/neg/bug1017.check)2
-rw-r--r--test/files/neg/t1017.scala (renamed from test/files/neg/bug1017.scala)0
-rw-r--r--test/files/neg/t1038.check (renamed from test/files/neg/bug1038.check)2
-rw-r--r--test/files/neg/t1038.scala (renamed from test/files/neg/bug1038.scala)0
-rw-r--r--test/files/neg/t1041.check (renamed from test/files/neg/bug1041.check)2
-rw-r--r--test/files/neg/t1041.scala (renamed from test/files/neg/bug1041.scala)0
-rw-r--r--test/files/neg/t1106.check7
-rw-r--r--test/files/neg/t1106.scala (renamed from test/files/neg/bug1106.scala)0
-rw-r--r--test/files/neg/t1112.check4
-rw-r--r--test/files/neg/t1112.scala (renamed from test/files/neg/bug1112.scala)0
-rw-r--r--test/files/neg/t112706A.check (renamed from test/files/neg/bug112706A.check)2
-rw-r--r--test/files/neg/t112706A.scala (renamed from test/files/neg/bug112706A.scala)0
-rw-r--r--test/files/neg/t1181.check (renamed from test/files/neg/bug1181.check)2
-rw-r--r--test/files/neg/t1181.scala (renamed from test/files/neg/bug1181.scala)0
-rw-r--r--test/files/neg/t1183.check (renamed from test/files/neg/bug1183.check)8
-rw-r--r--test/files/neg/t1183.scala (renamed from test/files/neg/bug1183.scala)0
-rw-r--r--test/files/neg/t1224.check4
-rw-r--r--test/files/neg/t1224.scala (renamed from test/files/neg/bug1224.scala)0
-rw-r--r--test/files/neg/t1241.check (renamed from test/files/neg/bug1241.check)2
-rw-r--r--test/files/neg/t1241.scala (renamed from test/files/neg/bug1241.scala)0
-rw-r--r--test/files/neg/t1275.check (renamed from test/files/neg/bug1275.check)2
-rw-r--r--test/files/neg/t1275.scala (renamed from test/files/neg/bug1275.scala)0
-rw-r--r--test/files/neg/t1286.check (renamed from test/files/neg/bug1286.check)0
-rw-r--r--test/files/neg/t1286/a.scala (renamed from test/files/neg/bug1286/a.scala)0
-rw-r--r--test/files/neg/t1286/b.scala (renamed from test/files/neg/bug1286/b.scala)0
-rw-r--r--test/files/neg/t1364.check5
-rw-r--r--test/files/neg/t1364.scala (renamed from test/files/neg/bug1364.scala)0
-rw-r--r--test/files/neg/t1431.check (renamed from test/files/neg/bug1431.check)2
-rw-r--r--test/files/neg/t1431.scala (renamed from test/files/neg/bug1431.scala)0
-rw-r--r--test/files/neg/t1432.check (renamed from test/files/neg/bug1432.check)2
-rw-r--r--test/files/neg/t1432.scala (renamed from test/files/neg/bug1432.scala)0
-rw-r--r--test/files/neg/t1523.check (renamed from test/files/neg/bug1523.check)2
-rw-r--r--test/files/neg/t1523.scala (renamed from test/files/neg/bug1523.scala)0
-rw-r--r--test/files/neg/t1548.check (renamed from test/files/neg/bug1548.check)0
-rw-r--r--test/files/neg/t1548/J.java (renamed from test/files/neg/bug1548/J.java)0
-rw-r--r--test/files/neg/t1548/S.scala (renamed from test/files/neg/bug1548/S.scala)0
-rw-r--r--test/files/neg/t1623.check4
-rw-r--r--test/files/neg/t1623.scala (renamed from test/files/neg/bug1623.scala)0
-rw-r--r--test/files/neg/t1838.check7
-rw-r--r--test/files/neg/t1838.scala (renamed from test/files/neg/bug1838.scala)0
-rw-r--r--test/files/neg/t1845.check4
-rw-r--r--test/files/neg/t1845.scala (renamed from test/files/neg/bug1845.scala)0
-rw-r--r--test/files/neg/t1872.check (renamed from test/files/neg/bug1872.check)2
-rw-r--r--test/files/neg/t1872.scala (renamed from test/files/neg/bug1872.scala)0
-rw-r--r--test/files/neg/t1878.check (renamed from test/files/neg/bug1878.check)8
-rw-r--r--test/files/neg/t1878.scala (renamed from test/files/neg/bug1878.scala)0
-rw-r--r--test/files/neg/t1909b.check4
-rw-r--r--test/files/neg/t1909b.scala (renamed from test/files/neg/bug1909b.scala)0
-rw-r--r--test/files/neg/t1960.check (renamed from test/files/neg/bug1960.check)2
-rw-r--r--test/files/neg/t1960.scala (renamed from test/files/neg/bug1960.scala)0
-rw-r--r--test/files/neg/t200.check4
-rw-r--r--test/files/neg/t200.scala (renamed from test/files/neg/bug200.scala)0
-rw-r--r--test/files/neg/t2102.check (renamed from test/files/neg/bug2102.check)2
-rw-r--r--test/files/neg/t2102.scala (renamed from test/files/neg/bug2102.scala)0
-rw-r--r--test/files/neg/t2144.check4
-rw-r--r--test/files/neg/t2144.scala (renamed from test/files/neg/bug2144.scala)0
-rw-r--r--test/files/neg/t2148.check (renamed from test/files/neg/bug2148.check)2
-rw-r--r--test/files/neg/t2148.scala (renamed from test/files/neg/bug2148.scala)0
-rw-r--r--test/files/neg/t2206.check (renamed from test/files/neg/bug2206.check)2
-rw-r--r--test/files/neg/t2206.scala (renamed from test/files/neg/bug2206.scala)0
-rw-r--r--test/files/neg/t2213.check (renamed from test/files/neg/bug2213.check)4
-rw-r--r--test/files/neg/t2213.scala (renamed from test/files/neg/bug2213.scala)0
-rw-r--r--test/files/neg/t2275a.check13
-rw-r--r--test/files/neg/t2275a.scala (renamed from test/files/neg/bug2275a.scala)0
-rw-r--r--test/files/neg/t2275b.check10
-rw-r--r--test/files/neg/t2275b.scala (renamed from test/files/neg/bug2275b.scala)0
-rw-r--r--test/files/neg/t2388.check (renamed from test/files/neg/bug2388.check)2
-rw-r--r--test/files/neg/t2388.scala (renamed from test/files/neg/bug2388.scala)0
-rw-r--r--test/files/neg/t2441.check4
-rw-r--r--test/files/neg/t2441.scala (renamed from test/files/neg/bug2441.scala)0
-rw-r--r--test/files/neg/t276.check (renamed from test/files/neg/bug276.check)2
-rw-r--r--test/files/neg/t276.scala (renamed from test/files/neg/bug276.scala)0
-rw-r--r--test/files/neg/t278.check (renamed from test/files/neg/bug278.check)4
-rw-r--r--test/files/neg/t278.scala (renamed from test/files/neg/bug278.scala)0
-rw-r--r--test/files/neg/t284.check8
-rw-r--r--test/files/neg/t284.scala (renamed from test/files/neg/bug284.scala)0
-rw-r--r--test/files/neg/t3098.check (renamed from test/files/neg/bug3098.check)0
-rw-r--r--test/files/neg/t3098.flags (renamed from test/files/neg/bug3098.flags)0
-rw-r--r--test/files/neg/t3098/a.scala (renamed from test/files/neg/bug3098/a.scala)0
-rw-r--r--test/files/neg/t3098/b.scala (renamed from test/files/neg/bug3098/b.scala)0
-rw-r--r--test/files/neg/t3209.check4
-rw-r--r--test/files/neg/t3209.scala (renamed from test/files/neg/bug3209.scala)0
-rw-r--r--test/files/neg/t3240.check7
-rw-r--r--test/files/neg/t3240.scala (renamed from test/files/neg/bug3240.scala)0
-rw-r--r--test/files/neg/t3392.check (renamed from test/files/neg/bug3392.check)2
-rw-r--r--test/files/neg/t3392.scala (renamed from test/files/neg/bug3392.scala)0
-rw-r--r--test/files/neg/t343.check4
-rw-r--r--test/files/neg/t343.scala (renamed from test/files/neg/bug343.scala)0
-rw-r--r--test/files/neg/t3631.check (renamed from test/files/neg/bug3631.check)2
-rw-r--r--test/files/neg/t3631.scala (renamed from test/files/neg/bug3631.scala)0
-rw-r--r--test/files/neg/t3683a.check (renamed from test/files/neg/bug3683a.check)2
-rw-r--r--test/files/neg/t3683a.flags (renamed from test/files/neg/bug3683a.flags)0
-rw-r--r--test/files/neg/t3683a.scala (renamed from test/files/neg/bug3683a.scala)0
-rw-r--r--test/files/neg/t3683b.check (renamed from test/files/neg/bug3683b.check)2
-rw-r--r--test/files/neg/t3683b.scala (renamed from test/files/neg/bug3683b.scala)0
-rw-r--r--test/files/neg/t3714-neg.check (renamed from test/files/neg/bug3714-neg.check)4
-rw-r--r--test/files/neg/t3714-neg.scala (renamed from test/files/neg/bug3714-neg.scala)2
-rw-r--r--test/files/neg/t3736.check16
-rw-r--r--test/files/neg/t3736.scala (renamed from test/files/neg/bug3736.scala)0
-rw-r--r--test/files/neg/t3909.check4
-rw-r--r--test/files/neg/t3909.scala (renamed from test/files/neg/bug3909.scala)0
-rw-r--r--test/files/neg/t391.check (renamed from test/files/neg/bug391.check)8
-rw-r--r--test/files/neg/t391.scala (renamed from test/files/neg/bug391.scala)0
-rw-r--r--test/files/neg/t3913.check4
-rw-r--r--test/files/neg/t3913.scala (renamed from test/files/neg/bug3913.scala)0
-rw-r--r--test/files/neg/t4069.check16
-rw-r--r--test/files/neg/t4069.scala (renamed from test/files/neg/bug4069.scala)0
-rw-r--r--test/files/neg/t409.check (renamed from test/files/neg/bug409.check)2
-rw-r--r--test/files/neg/t409.scala (renamed from test/files/neg/bug409.scala)0
-rw-r--r--test/files/neg/t412.check (renamed from test/files/neg/bug412.check)2
-rw-r--r--test/files/neg/t412.scala (renamed from test/files/neg/bug412.scala)0
-rw-r--r--test/files/neg/t414.check (renamed from test/files/neg/bug414.check)4
-rw-r--r--test/files/neg/t414.scala (renamed from test/files/neg/bug414.scala)0
-rw-r--r--test/files/neg/t4158.check (renamed from test/files/neg/bug4158.check)4
-rw-r--r--test/files/neg/t4158.scala (renamed from test/files/neg/bug4158.scala)0
-rw-r--r--test/files/neg/t4166.check (renamed from test/files/neg/bug4166.check)2
-rw-r--r--test/files/neg/t4166.scala (renamed from test/files/neg/bug4166.scala)0
-rw-r--r--test/files/neg/t4174.check (renamed from test/files/neg/bug4174.check)2
-rw-r--r--test/files/neg/t4174.scala (renamed from test/files/neg/bug4174.scala)0
-rw-r--r--test/files/neg/t418.check (renamed from test/files/neg/bug0418.check)4
-rw-r--r--test/files/neg/t418.scala (renamed from test/files/neg/bug418.scala)0
-rw-r--r--test/files/neg/t4196.check (renamed from test/files/neg/bug4196.check)2
-rw-r--r--test/files/neg/t4196.scala (renamed from test/files/neg/bug4196.scala)0
-rw-r--r--test/files/neg/t421.check (renamed from test/files/neg/bug421.check)2
-rw-r--r--test/files/neg/t421.scala (renamed from test/files/neg/bug421.scala)0
-rw-r--r--test/files/neg/t4217.check4
-rw-r--r--test/files/neg/t4217.scala (renamed from test/files/neg/bug4217.scala)0
-rw-r--r--test/files/neg/t4221.check (renamed from test/files/neg/bug4221.check)2
-rw-r--r--test/files/neg/t4221.scala (renamed from test/files/neg/bug4221.scala)0
-rw-r--r--test/files/neg/t4302.check (renamed from test/files/neg/bug4302.check)2
-rw-r--r--test/files/neg/t4302.flags (renamed from test/files/neg/bug4302.flags)0
-rw-r--r--test/files/neg/t4302.scala (renamed from test/files/neg/bug4302.scala)0
-rw-r--r--test/files/neg/t4419.check4
-rw-r--r--test/files/neg/t4419.scala (renamed from test/files/neg/bug4419.scala)0
-rw-r--r--test/files/neg/t452.check (renamed from test/files/neg/bug452.check)2
-rw-r--r--test/files/neg/t452.scala (renamed from test/files/neg/bug452.scala)0
-rw-r--r--test/files/neg/t4537.check (renamed from test/files/neg/bug4537.check)0
-rw-r--r--test/files/neg/t4537/a.scala (renamed from test/files/neg/bug4537/a.scala)0
-rw-r--r--test/files/neg/t4537/b.scala (renamed from test/files/neg/bug4537/b.scala)0
-rw-r--r--test/files/neg/t4537/c.scala (renamed from test/files/neg/bug4537/c.scala)0
-rw-r--r--test/files/neg/t4584.check (renamed from test/files/neg/bug4584.check)2
-rw-r--r--test/files/neg/t4584.scala (renamed from test/files/neg/bug4584.scala)0
-rw-r--r--test/files/neg/t464-neg.check16
-rw-r--r--test/files/neg/t464-neg.scala (renamed from test/files/neg/bug464-neg.scala)0
-rw-r--r--test/files/neg/t4727.check (renamed from test/files/neg/bug4727.check)2
-rw-r--r--test/files/neg/t4727.scala (renamed from test/files/neg/bug4727.scala)0
-rw-r--r--test/files/neg/t473.check4
-rw-r--r--test/files/neg/t473.scala (renamed from test/files/neg/bug473.scala)0
-rw-r--r--test/files/neg/t4851.check (renamed from test/files/neg/bug4851.check)0
-rw-r--r--test/files/neg/t4851.flags (renamed from test/files/neg/bug4851.flags)0
-rw-r--r--test/files/neg/t4851/J.java (renamed from test/files/neg/bug4851/J.java)0
-rw-r--r--test/files/neg/t4851/J2.java (renamed from test/files/neg/bug4851/J2.java)0
-rw-r--r--test/files/neg/t4851/S.scala (renamed from test/files/neg/bug4851/S.scala)0
-rw-r--r--test/files/neg/t4877.check (renamed from test/files/neg/bug4877.check)8
-rw-r--r--test/files/neg/t4877.flags (renamed from test/files/neg/bug4877.flags)0
-rw-r--r--test/files/neg/t4877.scala (renamed from test/files/neg/bug4877.scala)0
-rw-r--r--test/files/neg/t4879.check (renamed from test/files/neg/bug4879.check)4
-rw-r--r--test/files/neg/t4879.scala (renamed from test/files/neg/bug4879.scala)0
-rw-r--r--test/files/neg/t4882.check (renamed from test/files/neg/bug4882.check)2
-rw-r--r--test/files/neg/t4882.scala (renamed from test/files/neg/bug4882.scala)0
-rw-r--r--test/files/neg/t500.check4
-rw-r--r--test/files/neg/t500.scala (renamed from test/files/neg/bug500.scala)0
-rw-r--r--test/files/neg/t501.check (renamed from test/files/neg/bug501.check)2
-rw-r--r--test/files/neg/t501.scala (renamed from test/files/neg/bug501.scala)0
-rw-r--r--test/files/neg/t510.check4
-rw-r--r--test/files/neg/t510.scala (renamed from test/files/neg/bug510.scala)0
-rw-r--r--test/files/neg/t512.check (renamed from test/files/neg/bug512.check)2
-rw-r--r--test/files/neg/t512.scala (renamed from test/files/neg/bug512.scala)0
-rw-r--r--test/files/neg/t515.check (renamed from test/files/neg/bug515.check)2
-rw-r--r--test/files/neg/t515.scala (renamed from test/files/neg/bug515.scala)0
-rw-r--r--test/files/neg/t520.check (renamed from test/files/neg/bug520.check)2
-rw-r--r--test/files/neg/t520.scala (renamed from test/files/neg/bug520.scala)0
-rw-r--r--test/files/neg/t521.check15
-rw-r--r--test/files/neg/t521.scala (renamed from test/files/neg/bug521.scala)0
-rw-r--r--test/files/neg/t545.check7
-rw-r--r--test/files/neg/t545.scala (renamed from test/files/neg/bug545.scala)0
-rw-r--r--test/files/neg/t550.check7
-rw-r--r--test/files/neg/t550.scala (renamed from test/files/neg/bug550.scala)0
-rw-r--r--test/files/neg/t556.check (renamed from test/files/neg/bug556.check)2
-rw-r--r--test/files/neg/t556.scala (renamed from test/files/neg/bug556.scala)0
-rw-r--r--test/files/neg/t558.check (renamed from test/files/neg/bug558.check)2
-rw-r--r--test/files/neg/t558.scala (renamed from test/files/neg/bug558.scala)0
-rw-r--r--test/files/neg/t562.check (renamed from test/files/neg/bug562.check)2
-rw-r--r--test/files/neg/t562.scala (renamed from test/files/neg/bug562.scala)0
-rw-r--r--test/files/neg/t563.check (renamed from test/files/neg/bug563.check)2
-rw-r--r--test/files/neg/t563.scala (renamed from test/files/neg/bug563.scala)0
-rw-r--r--test/files/neg/t565.check (renamed from test/files/neg/bug565.check)2
-rw-r--r--test/files/neg/t565.scala (renamed from test/files/neg/bug565.scala)0
-rw-r--r--test/files/neg/t576.check (renamed from test/files/neg/bug576.check)2
-rw-r--r--test/files/neg/t576.scala (renamed from test/files/neg/bug576.scala)0
-rw-r--r--test/files/neg/t585.check4
-rw-r--r--test/files/neg/t585.scala (renamed from test/files/neg/bug585.scala)0
-rw-r--r--test/files/neg/t588.check (renamed from test/files/neg/bug588.check)4
-rw-r--r--test/files/neg/t588.scala (renamed from test/files/neg/bug588.scala)0
-rw-r--r--test/files/neg/t591.check (renamed from test/files/neg/bug591.check)2
-rw-r--r--test/files/neg/t591.scala (renamed from test/files/neg/bug591.scala)0
-rw-r--r--test/files/neg/t593.check4
-rw-r--r--test/files/neg/t593.scala (renamed from test/files/neg/bug593.scala)0
-rw-r--r--test/files/neg/t608.check (renamed from test/files/neg/bug608.check)2
-rw-r--r--test/files/neg/t608.scala (renamed from test/files/neg/bug608.scala)0
-rw-r--r--test/files/neg/t630.check (renamed from test/files/neg/bug630.check)2
-rw-r--r--test/files/neg/t630.scala (renamed from test/files/neg/bug630.scala)0
-rw-r--r--test/files/neg/t631.check4
-rw-r--r--test/files/neg/t631.scala (renamed from test/files/neg/bug631.scala)0
-rw-r--r--test/files/neg/t633.check (renamed from test/files/neg/bug633.check)2
-rw-r--r--test/files/neg/t633.scala (renamed from test/files/neg/bug633.scala)0
-rw-r--r--test/files/neg/t639.check4
-rw-r--r--test/files/neg/t639.scala (renamed from test/files/neg/bug639.scala)0
-rw-r--r--test/files/neg/t649.check4
-rw-r--r--test/files/neg/t649.scala (renamed from test/files/neg/bug649.scala)0
-rw-r--r--test/files/neg/t650.check (renamed from test/files/neg/bug650.check)2
-rw-r--r--test/files/neg/t650.scala (renamed from test/files/neg/bug650.scala)0
-rw-r--r--test/files/neg/t663.check (renamed from test/files/neg/bug663.check)2
-rw-r--r--test/files/neg/t663.scala (renamed from test/files/neg/bug663.scala)0
-rw-r--r--test/files/neg/t664.check7
-rw-r--r--test/files/neg/t664.scala (renamed from test/files/neg/bug664.scala)0
-rw-r--r--test/files/neg/t667.check (renamed from test/files/neg/bug667.check)2
-rw-r--r--test/files/neg/t667.scala (renamed from test/files/neg/bug667.scala)0
-rw-r--r--test/files/neg/t668.check (renamed from test/files/neg/bug668.check)2
-rw-r--r--test/files/neg/t668.scala (renamed from test/files/neg/bug668.scala)0
-rw-r--r--test/files/neg/t677.check (renamed from test/files/neg/bug677.check)2
-rw-r--r--test/files/neg/t677.scala (renamed from test/files/neg/bug677.scala)0
-rw-r--r--test/files/neg/t691.check (renamed from test/files/neg/bug691.check)2
-rw-r--r--test/files/neg/t691.scala (renamed from test/files/neg/bug691.scala)0
-rw-r--r--test/files/neg/t692.check (renamed from test/files/neg/bug692.check)14
-rw-r--r--test/files/neg/t692.scala (renamed from test/files/neg/bug692.scala)0
-rw-r--r--test/files/neg/t693.check4
-rw-r--r--test/files/neg/t693.scala (renamed from test/files/neg/bug693.scala)0
-rw-r--r--test/files/neg/t696.check (renamed from test/files/neg/bug696.check)2
-rw-r--r--test/files/neg/t696.scala (renamed from test/files/neg/bug696.scala)0
-rw-r--r--test/files/neg/t700.check4
-rw-r--r--test/files/neg/t700.scala (renamed from test/files/neg/bug700.scala)0
-rw-r--r--test/files/neg/t708.check (renamed from test/files/neg/bug708.check)2
-rw-r--r--test/files/neg/t708.scala (renamed from test/files/neg/bug708.scala)0
-rw-r--r--test/files/neg/t712.check (renamed from test/files/neg/bug712.check)2
-rw-r--r--test/files/neg/t712.scala (renamed from test/files/neg/bug712.scala)0
-rw-r--r--test/files/neg/t715.check4
-rw-r--r--test/files/neg/t715.scala (renamed from test/files/neg/bug715.scala)0
-rw-r--r--test/files/neg/t729.check (renamed from test/files/neg/bug729.check)2
-rw-r--r--test/files/neg/t729.scala (renamed from test/files/neg/bug729.scala)0
-rw-r--r--test/files/neg/t752.check (renamed from test/files/neg/bug752.check)2
-rw-r--r--test/files/neg/t752.scala (renamed from test/files/neg/bug752.scala)0
-rw-r--r--test/files/neg/t765.check (renamed from test/files/neg/bug765.check)2
-rw-r--r--test/files/neg/t765.scala (renamed from test/files/neg/bug765.scala)0
-rw-r--r--test/files/neg/t766.check (renamed from test/files/neg/bug766.check)2
-rw-r--r--test/files/neg/t766.scala (renamed from test/files/neg/bug766.scala)0
-rw-r--r--test/files/neg/t779.check (renamed from test/files/neg/bug779.check)2
-rw-r--r--test/files/neg/t779.scala (renamed from test/files/neg/bug779.scala)0
-rw-r--r--test/files/neg/t783.check (renamed from test/files/neg/bug783.check)2
-rw-r--r--test/files/neg/t783.scala (renamed from test/files/neg/bug783.scala)0
-rw-r--r--test/files/neg/t798.check4
-rw-r--r--test/files/neg/t798.scala (renamed from test/files/neg/bug798.scala)0
-rw-r--r--test/files/neg/t800.check13
-rw-r--r--test/files/neg/t800.scala (renamed from test/files/neg/bug800.scala)0
-rw-r--r--test/files/neg/t835.check (renamed from test/files/neg/bug835.check)4
-rw-r--r--test/files/neg/t835.scala (renamed from test/files/neg/bug835.scala)0
-rw-r--r--test/files/neg/t836.check (renamed from test/files/neg/bug836.check)2
-rw-r--r--test/files/neg/t836.scala (renamed from test/files/neg/bug836.scala)0
-rw-r--r--test/files/neg/t845.check4
-rw-r--r--test/files/neg/t845.scala (renamed from test/files/neg/bug845.scala)0
-rw-r--r--test/files/neg/t846.check (renamed from test/files/neg/bug846.check)2
-rw-r--r--test/files/neg/t846.scala (renamed from test/files/neg/bug846.scala)0
-rw-r--r--test/files/neg/t856.check (renamed from test/files/neg/bug856.check)2
-rw-r--r--test/files/neg/t856.scala (renamed from test/files/neg/bug856.scala)0
-rw-r--r--test/files/neg/t875.check (renamed from test/files/neg/bug875.check)8
-rw-r--r--test/files/neg/t875.scala (renamed from test/files/neg/bug875.scala)0
-rw-r--r--test/files/neg/t876.check (renamed from test/files/neg/bug876.check)2
-rw-r--r--test/files/neg/t876.scala (renamed from test/files/neg/bug876.scala)0
-rw-r--r--test/files/neg/t877.check (renamed from test/files/neg/bug877.check)4
-rw-r--r--test/files/neg/t877.scala (renamed from test/files/neg/bug877.scala)0
-rw-r--r--test/files/neg/t882.check4
-rw-r--r--test/files/neg/t882.scala (renamed from test/files/neg/bug882.scala)0
-rw-r--r--test/files/neg/t900.check (renamed from test/files/neg/bug900.check)2
-rw-r--r--test/files/neg/t900.scala (renamed from test/files/neg/bug900.scala)0
-rw-r--r--test/files/neg/t908.check4
-rw-r--r--test/files/neg/t908.scala (renamed from test/files/neg/bug908.scala)0
-rw-r--r--test/files/neg/t909.check (renamed from test/files/neg/bug909.check)2
-rw-r--r--test/files/neg/t909.scala (renamed from test/files/neg/bug909.scala)0
-rw-r--r--test/files/neg/t910.check (renamed from test/files/neg/bug910.check)2
-rw-r--r--test/files/neg/t910.scala (renamed from test/files/neg/bug910.scala)0
-rw-r--r--test/files/neg/t935.check7
-rw-r--r--test/files/neg/t935.scala (renamed from test/files/neg/bug935.scala)0
-rw-r--r--test/files/neg/t944.check4
-rw-r--r--test/files/neg/t944.scala (renamed from test/files/neg/bug944.scala)0
-rw-r--r--test/files/neg/t960.check (renamed from test/files/neg/bug960.check)4
-rw-r--r--test/files/neg/t960.scala (renamed from test/files/neg/bug960.scala)0
-rw-r--r--test/files/neg/t961.check4
-rw-r--r--test/files/neg/t961.scala (renamed from test/files/neg/bug961.scala)0
-rw-r--r--test/files/neg/t987.check (renamed from test/files/neg/bug987.check)8
-rw-r--r--test/files/neg/t987.scala (renamed from test/files/neg/bug987.scala)0
-rw-r--r--test/files/neg/t997.check (renamed from test/files/neg/bug997.check)8
-rw-r--r--test/files/neg/t997.scala (renamed from test/files/neg/bug997.scala)0
-rw-r--r--test/files/neg/tcpoly_override.scala2
346 files changed, 417 insertions, 417 deletions
diff --git a/test/files/neg/bug1106.check b/test/files/neg/bug1106.check
deleted file mode 100644
index 3fa595abf1..0000000000
--- a/test/files/neg/bug1106.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug1106.scala:2: error: expected class or object definition
-val p = new Par[String]
-^
-bug1106.scala:5: error: expected class or object definition
-new Foo[p.type](p) // crashes compiler
-^
-two errors found
diff --git a/test/files/neg/bug1112.check b/test/files/neg/bug1112.check
deleted file mode 100644
index d94dba9448..0000000000
--- a/test/files/neg/bug1112.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug1112.scala:12: error: too many arguments for method call: (p: Int)(f: => () => Unit)Unit
- call(0,() => System.out.println("here we are"))
- ^
-one error found
diff --git a/test/files/neg/bug1224.check b/test/files/neg/bug1224.check
deleted file mode 100644
index 515f823e50..0000000000
--- a/test/files/neg/bug1224.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug1224.scala:4: error: illegal cyclic reference involving type T
- type T >: C[T] <: C[C[T]]
- ^
-one error found
diff --git a/test/files/neg/bug1364.check b/test/files/neg/bug1364.check
deleted file mode 100644
index bb5ca90699..0000000000
--- a/test/files/neg/bug1364.check
+++ /dev/null
@@ -1,5 +0,0 @@
-bug1364.scala:9: error: overriding type T in trait A with bounds >: Nothing <: AnyRef{type S[-U]};
- type T has incompatible type
- type T = { type S[U] = U }
- ^
-one error found
diff --git a/test/files/neg/bug1623.check b/test/files/neg/bug1623.check
deleted file mode 100644
index cfc2b533d4..0000000000
--- a/test/files/neg/bug1623.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug1623.scala:11: error: class BImpl cannot be instantiated because it does not conform to its self-type test.BImpl with test.A
- val b = new BImpl
- ^
-one error found
diff --git a/test/files/neg/bug1838.check b/test/files/neg/bug1838.check
deleted file mode 100644
index 0c08bfe283..0000000000
--- a/test/files/neg/bug1838.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug1838.scala:6: error: `sealed' modifier can be used only for classes
- sealed val v = 0
- ^
-bug1838.scala:5: error: `sealed' modifier can be used only for classes
- sealed def f = 0
- ^
-two errors found
diff --git a/test/files/neg/bug1845.check b/test/files/neg/bug1845.check
deleted file mode 100644
index 164f3f60c1..0000000000
--- a/test/files/neg/bug1845.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug1845.scala:9: error: illegal cyclic reference involving value <import>
- val lexical = new StdLexical
- ^
-one error found
diff --git a/test/files/neg/bug1909b.check b/test/files/neg/bug1909b.check
deleted file mode 100644
index e5de5fefe9..0000000000
--- a/test/files/neg/bug1909b.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug1909b.scala:4: error: this can be used only in a class, object, or template
- def bar() = this.z + 5
- ^
-one error found
diff --git a/test/files/neg/bug200.check b/test/files/neg/bug200.check
deleted file mode 100644
index d3670060cd..0000000000
--- a/test/files/neg/bug200.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug200.scala:7: error: method foo is defined twice
- def foo: Int;
- ^
-one error found
diff --git a/test/files/neg/bug2144.check b/test/files/neg/bug2144.check
deleted file mode 100644
index 989bddc21e..0000000000
--- a/test/files/neg/bug2144.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug2144.scala:2: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement
- def foo[A](a: A) = new { def bar(x: A): A = x }
- ^
-one error found
diff --git a/test/files/neg/bug2275a.check b/test/files/neg/bug2275a.check
deleted file mode 100644
index 892a903948..0000000000
--- a/test/files/neg/bug2275a.check
+++ /dev/null
@@ -1,13 +0,0 @@
-bug2275a.scala:4: error: in XML literal: in XML content, please use '}}' to express '}'
- }else{
- ^
-bug2275a.scala:3: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br>
- <br>
- ^
-bug2275a.scala:4: error: ';' expected but 'else' found.
- }else{
- ^
-bug2275a.scala:7: error: '}' expected but eof found.
-}
- ^
-four errors found
diff --git a/test/files/neg/bug2275b.check b/test/files/neg/bug2275b.check
deleted file mode 100644
index 0db3eb8ff1..0000000000
--- a/test/files/neg/bug2275b.check
+++ /dev/null
@@ -1,10 +0,0 @@
-bug2275b.scala:2: error: in XML literal: in XML content, please use '}}' to express '}'
- {<br>}xx
- ^
-bug2275b.scala:2: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br>
- {<br>}xx
- ^
-bug2275b.scala:3: error: '}' expected but eof found.
-}
- ^
-three errors found
diff --git a/test/files/neg/bug2441.check b/test/files/neg/bug2441.check
deleted file mode 100644
index 2c82e6a9f8..0000000000
--- a/test/files/neg/bug2441.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug2441.scala:12: error: private class Y escapes its defining scope as part of type Some[B.Y]
- override def f = Some(new B.Y)
- ^
-one error found
diff --git a/test/files/neg/bug284.check b/test/files/neg/bug284.check
deleted file mode 100644
index 821727b96a..0000000000
--- a/test/files/neg/bug284.check
+++ /dev/null
@@ -1,8 +0,0 @@
-bug284.scala:2: warning: Detected apparent refinement of Unit; are you missing an '=' sign?
- def f1(a: T): Unit { }
- ^
-bug284.scala:5: error: Unmatched closing brace '}' ignored here
- }
- ^
-one warning found
-one error found
diff --git a/test/files/neg/bug3209.check b/test/files/neg/bug3209.check
deleted file mode 100644
index fa50f4ce1d..0000000000
--- a/test/files/neg/bug3209.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug3209.scala:2: error: expected start of definition
-package test
-^
-one error found
diff --git a/test/files/neg/bug3240.check b/test/files/neg/bug3240.check
deleted file mode 100644
index 4f751d6f00..0000000000
--- a/test/files/neg/bug3240.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug3240.scala:3: error: only classes can have declared but undefined members
- type t
- ^
-bug3240.scala:5: error: type arguments [this.t] do not conform to method asInstanceOf's type parameter bounds [T0]
- a.getOrElse(defVal).asInstanceOf[t]
- ^
-two errors found
diff --git a/test/files/neg/bug343.check b/test/files/neg/bug343.check
deleted file mode 100644
index 9b6af98be3..0000000000
--- a/test/files/neg/bug343.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug343.scala:5: error: private class Foo escapes its defining scope as part of type C.this.Foo
- def get:Foo = new Foo();
- ^
-one error found
diff --git a/test/files/neg/bug3736.check b/test/files/neg/bug3736.check
deleted file mode 100644
index cc222d1221..0000000000
--- a/test/files/neg/bug3736.check
+++ /dev/null
@@ -1,16 +0,0 @@
-bug3736.scala:4: error: super not allowed here: use this.isInstanceOf instead
- def f2 = super.isInstanceOf[String]
- ^
-bug3736.scala:5: error: super not allowed here: use this.asInstanceOf instead
- def f3 = super.asInstanceOf[AnyRef]
- ^
-bug3736.scala:6: error: super not allowed here: use this.== instead
- def f4 = super.==(new AnyRef)
- ^
-bug3736.scala:7: error: super not allowed here: use this.!= instead
- def f5 = super.!=(new AnyRef)
- ^
-bug3736.scala:8: error: super not allowed here: use this.## instead
- def f6 = super.##
- ^
-5 errors found
diff --git a/test/files/neg/bug3909.check b/test/files/neg/bug3909.check
deleted file mode 100644
index af79579d82..0000000000
--- a/test/files/neg/bug3909.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug3909.scala:1: error: in object DO, multiple overloaded alternatives of m1 define default arguments
-object DO {
- ^
-one error found
diff --git a/test/files/neg/bug3913.check b/test/files/neg/bug3913.check
deleted file mode 100644
index e6df31fb23..0000000000
--- a/test/files/neg/bug3913.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug3913.scala:2: error: super constructor cannot be passed a self reference unless parameter is declared by-name
-object LimboStage extends Stage( Set( LimboStage ))
- ^
-one error found
diff --git a/test/files/neg/bug4069.check b/test/files/neg/bug4069.check
deleted file mode 100644
index d3aa8f3992..0000000000
--- a/test/files/neg/bug4069.check
+++ /dev/null
@@ -1,16 +0,0 @@
-bug4069.scala:7: error: unexpected end of input: possible missing '}' in XML block
- case 2 =>
- ^
-bug4069.scala:6: error: Missing closing brace `}' assumed here
- </div>
- ^
-bug4069.scala:9: error: in XML literal: in XML content, please use '}}' to express '}'
- }
- ^
-bug4069.scala:4: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <div>
- <div>
- ^
-bug4069.scala:10: error: '}' expected but eof found.
-}
-^
-5 errors found
diff --git a/test/files/neg/bug4217.check b/test/files/neg/bug4217.check
deleted file mode 100644
index 4de9201da8..0000000000
--- a/test/files/neg/bug4217.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug4217.scala:2: error: 'case' expected but '}' found.
- 42 match { }
- ^
-one error found
diff --git a/test/files/neg/bug4419.check b/test/files/neg/bug4419.check
deleted file mode 100644
index 488be9a591..0000000000
--- a/test/files/neg/bug4419.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug4419.scala:2: error: forward reference extends over definition of value b
- { val b = a; val a = 1 }
- ^
-one error found
diff --git a/test/files/neg/bug464-neg.check b/test/files/neg/bug464-neg.check
deleted file mode 100644
index 7921c5a4f8..0000000000
--- a/test/files/neg/bug464-neg.check
+++ /dev/null
@@ -1,16 +0,0 @@
-bug464-neg.scala:7: error: not found: value f1
- f1()
- ^
-bug464-neg.scala:8: error: method f1 in class A cannot be accessed in A with ScalaObject
- super.f1()
- ^
-bug464-neg.scala:9: error: value f2 is not a member of B
- def otherb(b2: B) = b2.f2()
- ^
-bug464-neg.scala:10: error: method f3 in class A cannot be accessed in B
- f3()
- ^
-bug464-neg.scala:11: error: method f3 in class A cannot be accessed in A with ScalaObject
- super.f3()
- ^
-5 errors found
diff --git a/test/files/neg/bug473.check b/test/files/neg/bug473.check
deleted file mode 100644
index 7e3c4a4ed5..0000000000
--- a/test/files/neg/bug473.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug473.scala:3: error: super constructor cannot be passed a self reference unless parameter is declared by-name
-case object Voop extends Foo(Voop)
- ^
-one error found
diff --git a/test/files/neg/bug500.check b/test/files/neg/bug500.check
deleted file mode 100644
index ff4443caee..0000000000
--- a/test/files/neg/bug500.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug500.scala:3: error: lower bound X does not conform to upper bound Y
- type T >: X <: Y;
- ^
-one error found
diff --git a/test/files/neg/bug510.check b/test/files/neg/bug510.check
deleted file mode 100644
index 14b715ea68..0000000000
--- a/test/files/neg/bug510.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug510.scala:19: error: cyclic aliasing or subtyping involving type T
- def g(t: e.T): Unit = {
- ^
-one error found
diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check
deleted file mode 100644
index d8e92688dd..0000000000
--- a/test/files/neg/bug521.check
+++ /dev/null
@@ -1,15 +0,0 @@
-bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined
-class PlainFile(val file : File) extends AbstractFile {}
- ^
-bug521.scala:13: error: overriding value file in class PlainFile of type java.io.File;
- value file needs `override' modifier
-final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
- ^
-bug521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => String is not defined
-final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
- ^
-bug521.scala:15: error: overriding value path in class VirtualFile of type String;
- method path needs to be a stable, immutable value
- override def path = "";
- ^
-four errors found
diff --git a/test/files/neg/bug545.check b/test/files/neg/bug545.check
deleted file mode 100644
index d184f90e85..0000000000
--- a/test/files/neg/bug545.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug545.scala:4: error: value blah is not a member of Test.Foo
- val x = foo.blah match {
- ^
-bug545.scala:5: error: recursive value x needs type
- case List(x) => x
- ^
-two errors found
diff --git a/test/files/neg/bug550.check b/test/files/neg/bug550.check
deleted file mode 100644
index e1650b7ab1..0000000000
--- a/test/files/neg/bug550.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug550.scala:6: error: type List takes type parameters
- def sum[a](xs: List)(implicit m: Monoid[a]): a =
- ^
-bug550.scala:8: error: could not find implicit value for parameter m: Monoid[a]
- sum(List(1,2,3))
- ^
-two errors found
diff --git a/test/files/neg/bug585.check b/test/files/neg/bug585.check
deleted file mode 100644
index 4f4c5bf31d..0000000000
--- a/test/files/neg/bug585.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug585.scala:1: error: unclosed comment
-/*
-^
-one error found
diff --git a/test/files/neg/bug593.check b/test/files/neg/bug593.check
deleted file mode 100644
index f71affec5a..0000000000
--- a/test/files/neg/bug593.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug593.scala:1: error: traits or objects may not have parameters
-trait Wrapper[T](x : T) {
- ^
-one error found
diff --git a/test/files/neg/bug631.check b/test/files/neg/bug631.check
deleted file mode 100644
index 0650c701d9..0000000000
--- a/test/files/neg/bug631.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug631.scala:1: error: `implicit' modifier cannot be used for top-level objects
-implicit object Test {
- ^
-one error found
diff --git a/test/files/neg/bug639.check b/test/files/neg/bug639.check
deleted file mode 100644
index 30a93518a9..0000000000
--- a/test/files/neg/bug639.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug639.scala:3: error: not found: object a
-import a._
- ^
-one error found
diff --git a/test/files/neg/bug649.check b/test/files/neg/bug649.check
deleted file mode 100644
index 2a1533d2dc..0000000000
--- a/test/files/neg/bug649.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug649.scala:3: error: overloaded method foo needs result type
- def foo[A] = foo[A]
- ^
-one error found
diff --git a/test/files/neg/bug664.check b/test/files/neg/bug664.check
deleted file mode 100644
index c29f9b6c7c..0000000000
--- a/test/files/neg/bug664.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug664.scala:4: error: type Foo is not a member of test.Test with ScalaObject
- trait Foo extends super.Foo {
- ^
-bug664.scala:5: error: type Bar is not a member of AnyRef with ScalaObject
- trait Bar extends super.Bar;
- ^
-two errors found
diff --git a/test/files/neg/bug693.check b/test/files/neg/bug693.check
deleted file mode 100644
index d341d025e2..0000000000
--- a/test/files/neg/bug693.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug693.scala:4: error: x is already defined as value x
- val x : Int = 10;
- ^
-one error found
diff --git a/test/files/neg/bug700.check b/test/files/neg/bug700.check
deleted file mode 100644
index 5c2854069c..0000000000
--- a/test/files/neg/bug700.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug700.scala:6: error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
- def foobar: Unit = super.foobar
- ^
-one error found
diff --git a/test/files/neg/bug715.check b/test/files/neg/bug715.check
deleted file mode 100644
index 8ea1ddb0eb..0000000000
--- a/test/files/neg/bug715.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug715.scala:12: error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
- override def children = super.chilren;
- ^
-one error found
diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check
deleted file mode 100644
index 5859e1e769..0000000000
--- a/test/files/neg/bug798.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug798.scala:2: error: cyclic aliasing or subtyping involving type Bracks
-trait Test[Bracks <: Bracks] {
- ^
-one error found
diff --git a/test/files/neg/bug800.check b/test/files/neg/bug800.check
deleted file mode 100644
index 00ca02070e..0000000000
--- a/test/files/neg/bug800.check
+++ /dev/null
@@ -1,13 +0,0 @@
-bug800.scala:4: error: qualification is already defined as value qualification
- val qualification = false;
- ^
-bug800.scala:8: error: method qualification is defined twice
- val qualification = false;
- ^
-bug800.scala:12: error: value qualification is defined twice
- var qualification = false;
- ^
-bug800.scala:16: error: method qualification is defined twice
- var qualification = false;
- ^
-four errors found
diff --git a/test/files/neg/bug845.check b/test/files/neg/bug845.check
deleted file mode 100644
index a5b92e2aee..0000000000
--- a/test/files/neg/bug845.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug845.scala:4: error: only classes can have declared but undefined members
- type Bar;
- ^
-one error found
diff --git a/test/files/neg/bug882.check b/test/files/neg/bug882.check
deleted file mode 100644
index 4e3e6d0860..0000000000
--- a/test/files/neg/bug882.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug882.scala:2: error: traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...'
-trait SortedSet[A <% Ordered[A]] {
- ^
-one error found
diff --git a/test/files/neg/bug908.check b/test/files/neg/bug908.check
deleted file mode 100644
index c73f1d7857..0000000000
--- a/test/files/neg/bug908.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug908.scala:8: error: not found: value makeA
- this(makeA)
- ^
-one error found
diff --git a/test/files/neg/bug935.check b/test/files/neg/bug935.check
deleted file mode 100644
index 6a4129eee3..0000000000
--- a/test/files/neg/bug935.check
+++ /dev/null
@@ -1,7 +0,0 @@
-bug935.scala:7: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String]
- @E[B](new B) val b = "hi"
- ^
-bug935.scala:13: error: type arguments [Test4.B] do not conform to class E's type parameter bounds [T <: String]
- val b: String @E[B](new B) = "hi"
- ^
-two errors found
diff --git a/test/files/neg/bug944.check b/test/files/neg/bug944.check
deleted file mode 100644
index d45b968e9e..0000000000
--- a/test/files/neg/bug944.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug944.scala:5: error: implementation restricts functions to 22 parameters
- a23:Int) => 1
- ^
-one error found
diff --git a/test/files/neg/bug961.check b/test/files/neg/bug961.check
deleted file mode 100644
index 0231a3ea66..0000000000
--- a/test/files/neg/bug961.check
+++ /dev/null
@@ -1,4 +0,0 @@
-bug961.scala:11: error: object Temp.B does not take parameters
- B() match {
- ^
-one error found
diff --git a/test/files/neg/bug418.check b/test/files/neg/t0418.check
index e7580beaf4..4e9ad2f9ae 100644
--- a/test/files/neg/bug418.check
+++ b/test/files/neg/t0418.check
@@ -1,7 +1,7 @@
-bug418.scala:2: error: not found: value Foo12340771
+t0418.scala:2: error: not found: value Foo12340771
null match { case Foo12340771.Bar(x) => x }
^
-bug418.scala:2: error: not found: value x
+t0418.scala:2: error: not found: value x
null match { case Foo12340771.Bar(x) => x }
^
two errors found
diff --git a/test/files/neg/bug0418.scala b/test/files/neg/t0418.scala
index 67007010d4..67007010d4 100644
--- a/test/files/neg/bug0418.scala
+++ b/test/files/neg/t0418.scala
diff --git a/test/files/neg/bug1010.check b/test/files/neg/t1010.check
index 3cf9738eaa..2cc8f9d986 100644
--- a/test/files/neg/bug1010.check
+++ b/test/files/neg/t1010.check
@@ -1,4 +1,4 @@
-bug1010.scala:14: error: type mismatch;
+t1010.scala:14: error: type mismatch;
found : MailBox#Message
required: _3.in.Message where val _3: Actor
unstable.send(msg) // in.Message becomes unstable.Message, but that's ok since Message is a concrete type member
diff --git a/test/files/neg/bug1010.scala b/test/files/neg/t1010.scala
index 7a1e6615e5..7a1e6615e5 100644
--- a/test/files/neg/bug1010.scala
+++ b/test/files/neg/t1010.scala
diff --git a/test/files/neg/bug1011.check b/test/files/neg/t1011.check
index 7de677639a..d9c8123549 100644
--- a/test/files/neg/bug1011.check
+++ b/test/files/neg/t1011.check
@@ -1,4 +1,4 @@
-bug1011.scala:8: error: not found: value entity
+t1011.scala:8: error: not found: value entity
<dl><code>{Text(entity)}</code>
^
one error found
diff --git a/test/files/neg/bug1011.scala b/test/files/neg/t1011.scala
index 7dc3f49469..7dc3f49469 100644
--- a/test/files/neg/bug1011.scala
+++ b/test/files/neg/t1011.scala
diff --git a/test/files/neg/bug1017.check b/test/files/neg/t1017.check
index ad88a10401..52101c7f6e 100644
--- a/test/files/neg/bug1017.check
+++ b/test/files/neg/t1017.check
@@ -1,4 +1,4 @@
-bug1017.scala:3: error: not found: value foo
+t1017.scala:3: error: not found: value foo
<x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x><x>{ foo }</x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x></x>
^
one error found
diff --git a/test/files/neg/bug1017.scala b/test/files/neg/t1017.scala
index e389f308c3..e389f308c3 100644
--- a/test/files/neg/bug1017.scala
+++ b/test/files/neg/t1017.scala
diff --git a/test/files/neg/bug1038.check b/test/files/neg/t1038.check
index e09cbbc510..b191b89ad1 100644
--- a/test/files/neg/bug1038.check
+++ b/test/files/neg/t1038.check
@@ -1,4 +1,4 @@
-bug1038.scala:4: error: not enough arguments for constructor X: (x: Int)X.
+t1038.scala:4: error: not enough arguments for constructor X: (x: Int)X.
Unspecified value parameter x.
val a = new X
^
diff --git a/test/files/neg/bug1038.scala b/test/files/neg/t1038.scala
index 9fdcae207f..9fdcae207f 100644
--- a/test/files/neg/bug1038.scala
+++ b/test/files/neg/t1038.scala
diff --git a/test/files/neg/bug1041.check b/test/files/neg/t1041.check
index c366364241..d82f3a8586 100644
--- a/test/files/neg/bug1041.check
+++ b/test/files/neg/t1041.check
@@ -1,4 +1,4 @@
-bug1041.scala:3: error: type mismatch;
+t1041.scala:3: error: type mismatch;
found : Int(1)
required: List[Int]
case 1 => 4
diff --git a/test/files/neg/bug1041.scala b/test/files/neg/t1041.scala
index a5895c68a9..a5895c68a9 100644
--- a/test/files/neg/bug1041.scala
+++ b/test/files/neg/t1041.scala
diff --git a/test/files/neg/t1106.check b/test/files/neg/t1106.check
new file mode 100644
index 0000000000..f81d0c6025
--- /dev/null
+++ b/test/files/neg/t1106.check
@@ -0,0 +1,7 @@
+t1106.scala:2: error: expected class or object definition
+val p = new Par[String]
+^
+t1106.scala:5: error: expected class or object definition
+new Foo[p.type](p) // crashes compiler
+^
+two errors found
diff --git a/test/files/neg/bug1106.scala b/test/files/neg/t1106.scala
index a218eee7a1..a218eee7a1 100644
--- a/test/files/neg/bug1106.scala
+++ b/test/files/neg/t1106.scala
diff --git a/test/files/neg/t1112.check b/test/files/neg/t1112.check
new file mode 100644
index 0000000000..e69be3ef2c
--- /dev/null
+++ b/test/files/neg/t1112.check
@@ -0,0 +1,4 @@
+t1112.scala:12: error: too many arguments for method call: (p: Int)(f: => () => Unit)Unit
+ call(0,() => System.out.println("here we are"))
+ ^
+one error found
diff --git a/test/files/neg/bug1112.scala b/test/files/neg/t1112.scala
index 1a88629faf..1a88629faf 100644
--- a/test/files/neg/bug1112.scala
+++ b/test/files/neg/t1112.scala
diff --git a/test/files/neg/bug112706A.check b/test/files/neg/t112706A.check
index 8fb5bfc390..42584b9707 100644
--- a/test/files/neg/bug112706A.check
+++ b/test/files/neg/t112706A.check
@@ -1,4 +1,4 @@
-bug112706A.scala:5: error: constructor cannot be instantiated to expected type;
+t112706A.scala:5: error: constructor cannot be instantiated to expected type;
found : (T1, T2)
required: java.lang.String
case Tuple2(node,_) =>
diff --git a/test/files/neg/bug112706A.scala b/test/files/neg/t112706A.scala
index 11304720bc..11304720bc 100644
--- a/test/files/neg/bug112706A.scala
+++ b/test/files/neg/t112706A.scala
diff --git a/test/files/neg/bug1181.check b/test/files/neg/t1181.check
index a196a702ab..2d7205c61f 100644
--- a/test/files/neg/bug1181.check
+++ b/test/files/neg/t1181.check
@@ -1,4 +1,4 @@
-bug1181.scala:9: error: missing parameter type
+t1181.scala:9: error: missing parameter type
_ => buildMap(map.updated(keyList.head, valueList.head), keyList.tail, valueList.tail)
^
one error found
diff --git a/test/files/neg/bug1181.scala b/test/files/neg/t1181.scala
index 5e5fceacc8..5e5fceacc8 100644
--- a/test/files/neg/bug1181.scala
+++ b/test/files/neg/t1181.scala
diff --git a/test/files/neg/bug1183.check b/test/files/neg/t1183.check
index 9e20592d08..c402829c70 100644
--- a/test/files/neg/bug1183.check
+++ b/test/files/neg/t1183.check
@@ -1,16 +1,16 @@
-bug1183.scala:6: error: name clash: class Foo defines object Baz
+t1183.scala:6: error: name clash: class Foo defines object Baz
and its companion object Foo also defines class Baz
object Baz
^
-bug1183.scala:7: error: name clash: class Foo defines class Bam
+t1183.scala:7: error: name clash: class Foo defines class Bam
and its companion object Foo also defines object Bam
class Bam
^
-bug1183.scala:8: error: name clash: class Foo defines object Bar
+t1183.scala:8: error: name clash: class Foo defines object Bar
and its companion object Foo also defines class Bar
object Bar
^
-bug1183.scala:9: error: name clash: class Foo defines class Bar
+t1183.scala:9: error: name clash: class Foo defines class Bar
and its companion object Foo also defines class Bar
case class Bar(i:Int)
^
diff --git a/test/files/neg/bug1183.scala b/test/files/neg/t1183.scala
index 23868ab401..23868ab401 100644
--- a/test/files/neg/bug1183.scala
+++ b/test/files/neg/t1183.scala
diff --git a/test/files/neg/t1224.check b/test/files/neg/t1224.check
new file mode 100644
index 0000000000..fb61275911
--- /dev/null
+++ b/test/files/neg/t1224.check
@@ -0,0 +1,4 @@
+t1224.scala:4: error: illegal cyclic reference involving type T
+ type T >: C[T] <: C[C[T]]
+ ^
+one error found
diff --git a/test/files/neg/bug1224.scala b/test/files/neg/t1224.scala
index 35e01fa379..35e01fa379 100644
--- a/test/files/neg/bug1224.scala
+++ b/test/files/neg/t1224.scala
diff --git a/test/files/neg/bug1241.check b/test/files/neg/t1241.check
index 48c86cabb7..e1ccf4172f 100644
--- a/test/files/neg/bug1241.check
+++ b/test/files/neg/t1241.check
@@ -1,4 +1,4 @@
-bug1241.scala:5: error: class type required but AnyRef{def hello(): Unit} found
+t1241.scala:5: error: class type required but AnyRef{def hello(): Unit} found
val x4 = new T { def hello() { println("4") } } // error!
^
one error found
diff --git a/test/files/neg/bug1241.scala b/test/files/neg/t1241.scala
index e115917136..e115917136 100644
--- a/test/files/neg/bug1241.scala
+++ b/test/files/neg/t1241.scala
diff --git a/test/files/neg/bug1275.check b/test/files/neg/t1275.check
index 6ee8365796..a930e25ab3 100644
--- a/test/files/neg/bug1275.check
+++ b/test/files/neg/t1275.check
@@ -1,4 +1,4 @@
-bug1275.scala:11: error: type mismatch;
+t1275.scala:11: error: type mismatch;
found : xs.MyType[a]
required: s
= xs f
diff --git a/test/files/neg/bug1275.scala b/test/files/neg/t1275.scala
index 1175b30763..1175b30763 100644
--- a/test/files/neg/bug1275.scala
+++ b/test/files/neg/t1275.scala
diff --git a/test/files/neg/bug1286.check b/test/files/neg/t1286.check
index 734964e9cf..734964e9cf 100644
--- a/test/files/neg/bug1286.check
+++ b/test/files/neg/t1286.check
diff --git a/test/files/neg/bug1286/a.scala b/test/files/neg/t1286/a.scala
index 85ffe3bb58..85ffe3bb58 100644
--- a/test/files/neg/bug1286/a.scala
+++ b/test/files/neg/t1286/a.scala
diff --git a/test/files/neg/bug1286/b.scala b/test/files/neg/t1286/b.scala
index 48f3b440c2..48f3b440c2 100644
--- a/test/files/neg/bug1286/b.scala
+++ b/test/files/neg/t1286/b.scala
diff --git a/test/files/neg/t1364.check b/test/files/neg/t1364.check
new file mode 100644
index 0000000000..78375333c2
--- /dev/null
+++ b/test/files/neg/t1364.check
@@ -0,0 +1,5 @@
+t1364.scala:9: error: overriding type T in trait A with bounds >: Nothing <: AnyRef{type S[-U]};
+ type T has incompatible type
+ type T = { type S[U] = U }
+ ^
+one error found
diff --git a/test/files/neg/bug1364.scala b/test/files/neg/t1364.scala
index 6b02580fa5..6b02580fa5 100644
--- a/test/files/neg/bug1364.scala
+++ b/test/files/neg/t1364.scala
diff --git a/test/files/neg/bug1431.check b/test/files/neg/t1431.check
index 0ae28eea9d..a17ba73243 100644
--- a/test/files/neg/bug1431.check
+++ b/test/files/neg/t1431.check
@@ -1,4 +1,4 @@
-bug1431.scala:8: error: class type required but X#Factory found
+t1431.scala:8: error: class type required but X#Factory found
def fun[X<:MyTrait with Singleton]() = new X#Factory().value
^
one error found
diff --git a/test/files/neg/bug1431.scala b/test/files/neg/t1431.scala
index aff1dbc014..aff1dbc014 100644
--- a/test/files/neg/bug1431.scala
+++ b/test/files/neg/t1431.scala
diff --git a/test/files/neg/bug1432.check b/test/files/neg/t1432.check
index 90bba0bf13..180cb05e67 100644
--- a/test/files/neg/bug1432.check
+++ b/test/files/neg/t1432.check
@@ -1,4 +1,4 @@
-bug1432.scala:10: error: type mismatch;
+t1432.scala:10: error: type mismatch;
found : (Int, Bug_NoUnique.Wrap[Bug_NoUnique.Wrap[Unit]] => Double)
required: (Int, Unit => Double)
def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
diff --git a/test/files/neg/bug1432.scala b/test/files/neg/t1432.scala
index 638f36554f..638f36554f 100644
--- a/test/files/neg/bug1432.scala
+++ b/test/files/neg/t1432.scala
diff --git a/test/files/neg/bug1523.check b/test/files/neg/t1523.check
index 96d052fa4c..d2489f2602 100644
--- a/test/files/neg/bug1523.check
+++ b/test/files/neg/t1523.check
@@ -1,4 +1,4 @@
-bug1523.scala:4: error: too many arguments for method bug: (x: Any)Any
+t1523.scala:4: error: too many arguments for method bug: (x: Any)Any
def go() = bug("a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a", "a")
^
one error found
diff --git a/test/files/neg/bug1523.scala b/test/files/neg/t1523.scala
index 219fb0c060..219fb0c060 100644
--- a/test/files/neg/bug1523.scala
+++ b/test/files/neg/t1523.scala
diff --git a/test/files/neg/bug1548.check b/test/files/neg/t1548.check
index 7f5a3f44e2..7f5a3f44e2 100644
--- a/test/files/neg/bug1548.check
+++ b/test/files/neg/t1548.check
diff --git a/test/files/neg/bug1548/J.java b/test/files/neg/t1548/J.java
index 01dd56d348..01dd56d348 100644
--- a/test/files/neg/bug1548/J.java
+++ b/test/files/neg/t1548/J.java
diff --git a/test/files/neg/bug1548/S.scala b/test/files/neg/t1548/S.scala
index 086b78029d..086b78029d 100644
--- a/test/files/neg/bug1548/S.scala
+++ b/test/files/neg/t1548/S.scala
diff --git a/test/files/neg/t1623.check b/test/files/neg/t1623.check
new file mode 100644
index 0000000000..251039ad30
--- /dev/null
+++ b/test/files/neg/t1623.check
@@ -0,0 +1,4 @@
+t1623.scala:11: error: class BImpl cannot be instantiated because it does not conform to its self-type test.BImpl with test.A
+ val b = new BImpl
+ ^
+one error found
diff --git a/test/files/neg/bug1623.scala b/test/files/neg/t1623.scala
index f5189aa4ca..f5189aa4ca 100644
--- a/test/files/neg/bug1623.scala
+++ b/test/files/neg/t1623.scala
diff --git a/test/files/neg/t1838.check b/test/files/neg/t1838.check
new file mode 100644
index 0000000000..a476158c7b
--- /dev/null
+++ b/test/files/neg/t1838.check
@@ -0,0 +1,7 @@
+t1838.scala:6: error: `sealed' modifier can be used only for classes
+ sealed val v = 0
+ ^
+t1838.scala:5: error: `sealed' modifier can be used only for classes
+ sealed def f = 0
+ ^
+two errors found
diff --git a/test/files/neg/bug1838.scala b/test/files/neg/t1838.scala
index 36eeb4050a..36eeb4050a 100644
--- a/test/files/neg/bug1838.scala
+++ b/test/files/neg/t1838.scala
diff --git a/test/files/neg/t1845.check b/test/files/neg/t1845.check
new file mode 100644
index 0000000000..7c0bddbc20
--- /dev/null
+++ b/test/files/neg/t1845.check
@@ -0,0 +1,4 @@
+t1845.scala:9: error: illegal cyclic reference involving value <import>
+ val lexical = new StdLexical
+ ^
+one error found
diff --git a/test/files/neg/bug1845.scala b/test/files/neg/t1845.scala
index dab448b7dd..dab448b7dd 100644
--- a/test/files/neg/bug1845.scala
+++ b/test/files/neg/t1845.scala
diff --git a/test/files/neg/bug1872.check b/test/files/neg/t1872.check
index 9f1af33056..ef84ef79e0 100644
--- a/test/files/neg/bug1872.check
+++ b/test/files/neg/t1872.check
@@ -1,4 +1,4 @@
-bug1872.scala:3: error: isInstanceOf cannot test if value types are references.
+t1872.scala:3: error: isInstanceOf cannot test if value types are references.
def f(x: Int) = x.isInstanceOf[util.Random]
^
one error found
diff --git a/test/files/neg/bug1872.scala b/test/files/neg/t1872.scala
index 0ebee0b32d..0ebee0b32d 100644
--- a/test/files/neg/bug1872.scala
+++ b/test/files/neg/t1872.scala
diff --git a/test/files/neg/bug1878.check b/test/files/neg/t1878.check
index f760781fa0..4b9cfebde1 100644
--- a/test/files/neg/bug1878.check
+++ b/test/files/neg/t1878.check
@@ -1,15 +1,15 @@
-bug1878.scala:3: error: _* may only come last
+t1878.scala:3: error: _* may only come last
val err1 = "" match { case Seq(f @ _*, ',') => f }
^
-bug1878.scala:3: error: scrutinee is incompatible with pattern type;
+t1878.scala:3: error: scrutinee is incompatible with pattern type;
found : Seq[A]
required: java.lang.String
val err1 = "" match { case Seq(f @ _*, ',') => f }
^
-bug1878.scala:9: error: _* may only come last
+t1878.scala:9: error: _* may only come last
val List(List(_*, arg2), _) = List(List(1,2,3), List(4,5,6))
^
-bug1878.scala:13: error: _* may only come last
+t1878.scala:13: error: _* may only come last
case <p> { _* } </p> =>
^
four errors found
diff --git a/test/files/neg/bug1878.scala b/test/files/neg/t1878.scala
index 683dcb6b41..683dcb6b41 100644
--- a/test/files/neg/bug1878.scala
+++ b/test/files/neg/t1878.scala
diff --git a/test/files/neg/t1909b.check b/test/files/neg/t1909b.check
new file mode 100644
index 0000000000..9a683643ae
--- /dev/null
+++ b/test/files/neg/t1909b.check
@@ -0,0 +1,4 @@
+t1909b.scala:4: error: this can be used only in a class, object, or template
+ def bar() = this.z + 5
+ ^
+one error found
diff --git a/test/files/neg/bug1909b.scala b/test/files/neg/t1909b.scala
index 6aa7870478..6aa7870478 100644
--- a/test/files/neg/bug1909b.scala
+++ b/test/files/neg/t1909b.scala
diff --git a/test/files/neg/bug1960.check b/test/files/neg/t1960.check
index 8e19f31ef5..dabf53f126 100644
--- a/test/files/neg/bug1960.check
+++ b/test/files/neg/t1960.check
@@ -1,4 +1,4 @@
-bug1960.scala:5: error: parameter 'p' requires field but conflicts with p in 'TBase'
+t1960.scala:5: error: parameter 'p' requires field but conflicts with p in 'TBase'
class Aclass (p: Int) extends TBase { def g() { f(p) } }
^
one error found
diff --git a/test/files/neg/bug1960.scala b/test/files/neg/t1960.scala
index 5311940b5a..5311940b5a 100644
--- a/test/files/neg/bug1960.scala
+++ b/test/files/neg/t1960.scala
diff --git a/test/files/neg/t200.check b/test/files/neg/t200.check
new file mode 100644
index 0000000000..78701f8533
--- /dev/null
+++ b/test/files/neg/t200.check
@@ -0,0 +1,4 @@
+t200.scala:7: error: method foo is defined twice
+ def foo: Int;
+ ^
+one error found
diff --git a/test/files/neg/bug200.scala b/test/files/neg/t200.scala
index 692fe368e2..692fe368e2 100644
--- a/test/files/neg/bug200.scala
+++ b/test/files/neg/t200.scala
diff --git a/test/files/neg/bug2102.check b/test/files/neg/t2102.check
index 7478fcfcea..b4f91a5319 100644
--- a/test/files/neg/bug2102.check
+++ b/test/files/neg/t2102.check
@@ -1,4 +1,4 @@
-bug2102.scala:2: error: type mismatch;
+t2102.scala:2: error: type mismatch;
found : java.util.Iterator[Int]
required: scala.collection.Iterator[_]
val x: Iterator[_] = new java.util.ArrayList[Int]().iterator
diff --git a/test/files/neg/bug2102.scala b/test/files/neg/t2102.scala
index 9c37039039..9c37039039 100644
--- a/test/files/neg/bug2102.scala
+++ b/test/files/neg/t2102.scala
diff --git a/test/files/neg/t2144.check b/test/files/neg/t2144.check
new file mode 100644
index 0000000000..7239f4406e
--- /dev/null
+++ b/test/files/neg/t2144.check
@@ -0,0 +1,4 @@
+t2144.scala:2: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement
+ def foo[A](a: A) = new { def bar(x: A): A = x }
+ ^
+one error found
diff --git a/test/files/neg/bug2144.scala b/test/files/neg/t2144.scala
index af9a5e166e..af9a5e166e 100644
--- a/test/files/neg/bug2144.scala
+++ b/test/files/neg/t2144.scala
diff --git a/test/files/neg/bug2148.check b/test/files/neg/t2148.check
index 22be424c39..5113b48e51 100644
--- a/test/files/neg/bug2148.check
+++ b/test/files/neg/t2148.check
@@ -1,4 +1,4 @@
-bug2148.scala:9: error: type A is not a stable prefix
+t2148.scala:9: error: type A is not a stable prefix
val b = new A with A#A1
^
one error found
diff --git a/test/files/neg/bug2148.scala b/test/files/neg/t2148.scala
index 25788be84a..25788be84a 100644
--- a/test/files/neg/bug2148.scala
+++ b/test/files/neg/t2148.scala
diff --git a/test/files/neg/bug2206.check b/test/files/neg/t2206.check
index 3deb4d99ef..766f35d93a 100644
--- a/test/files/neg/bug2206.check
+++ b/test/files/neg/t2206.check
@@ -1,4 +1,4 @@
-bug2206.scala:10: error: value f is not a member of o.A
+t2206.scala:10: error: value f is not a member of o.A
Note: implicit method ax is not applicable here because it comes after the application point and it lacks an explicit result type
a.f()
^
diff --git a/test/files/neg/bug2206.scala b/test/files/neg/t2206.scala
index cd2ec225e9..cd2ec225e9 100644
--- a/test/files/neg/bug2206.scala
+++ b/test/files/neg/t2206.scala
diff --git a/test/files/neg/bug2213.check b/test/files/neg/t2213.check
index b24f7dc554..f59503ee2a 100644
--- a/test/files/neg/bug2213.check
+++ b/test/files/neg/t2213.check
@@ -1,11 +1,11 @@
-bug2213.scala:9: error: class C needs to be abstract, since:
+t2213.scala:9: error: class C needs to be abstract, since:
value y in class A of type Int is not defined
value x in class A of type Int is not defined
method g in class A of type => Int is not defined
method f in class A of type => Int is not defined
class C extends A {}
^
-bug2213.scala:11: error: object creation impossible, since:
+t2213.scala:11: error: object creation impossible, since:
value y in class A of type Int is not defined
value x in class A of type Int is not defined
method g in class A of type => Int is not defined
diff --git a/test/files/neg/bug2213.scala b/test/files/neg/t2213.scala
index af1df3ccfe..af1df3ccfe 100644
--- a/test/files/neg/bug2213.scala
+++ b/test/files/neg/t2213.scala
diff --git a/test/files/neg/t2275a.check b/test/files/neg/t2275a.check
new file mode 100644
index 0000000000..cd3c868e76
--- /dev/null
+++ b/test/files/neg/t2275a.check
@@ -0,0 +1,13 @@
+t2275a.scala:4: error: in XML literal: in XML content, please use '}}' to express '}'
+ }else{
+ ^
+t2275a.scala:3: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br>
+ <br>
+ ^
+t2275a.scala:4: error: ';' expected but 'else' found.
+ }else{
+ ^
+t2275a.scala:7: error: '}' expected but eof found.
+}
+ ^
+four errors found
diff --git a/test/files/neg/bug2275a.scala b/test/files/neg/t2275a.scala
index 7f2b803daa..7f2b803daa 100644
--- a/test/files/neg/bug2275a.scala
+++ b/test/files/neg/t2275a.scala
diff --git a/test/files/neg/t2275b.check b/test/files/neg/t2275b.check
new file mode 100644
index 0000000000..43e34cc4d3
--- /dev/null
+++ b/test/files/neg/t2275b.check
@@ -0,0 +1,10 @@
+t2275b.scala:2: error: in XML literal: in XML content, please use '}}' to express '}'
+ {<br>}xx
+ ^
+t2275b.scala:2: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <br>
+ {<br>}xx
+ ^
+t2275b.scala:3: error: '}' expected but eof found.
+}
+ ^
+three errors found
diff --git a/test/files/neg/bug2275b.scala b/test/files/neg/t2275b.scala
index 312cba8d6d..312cba8d6d 100644
--- a/test/files/neg/bug2275b.scala
+++ b/test/files/neg/t2275b.scala
diff --git a/test/files/neg/bug2388.check b/test/files/neg/t2388.check
index f96cb594d1..3f97608a4d 100644
--- a/test/files/neg/bug2388.check
+++ b/test/files/neg/t2388.check
@@ -1,4 +1,4 @@
-bug2388.scala:2: error: recursive method search needs result type
+t2388.scala:2: error: recursive method search needs result type
val searchField = new AnyRef { search() }
^
one error found
diff --git a/test/files/neg/bug2388.scala b/test/files/neg/t2388.scala
index 3634f346f8..3634f346f8 100644
--- a/test/files/neg/bug2388.scala
+++ b/test/files/neg/t2388.scala
diff --git a/test/files/neg/t2441.check b/test/files/neg/t2441.check
new file mode 100644
index 0000000000..6eaacd8fd1
--- /dev/null
+++ b/test/files/neg/t2441.check
@@ -0,0 +1,4 @@
+t2441.scala:12: error: private class Y escapes its defining scope as part of type Some[B.Y]
+ override def f = Some(new B.Y)
+ ^
+one error found
diff --git a/test/files/neg/bug2441.scala b/test/files/neg/t2441.scala
index 6784ebb333..6784ebb333 100644
--- a/test/files/neg/bug2441.scala
+++ b/test/files/neg/t2441.scala
diff --git a/test/files/neg/bug276.check b/test/files/neg/t276.check
index edc4ec568f..7d37f5cfa1 100644
--- a/test/files/neg/bug276.check
+++ b/test/files/neg/t276.check
@@ -1,4 +1,4 @@
-bug276.scala:6: error: overriding type Bar in class Foo, which equals (Int, Int);
+t276.scala:6: error: overriding type Bar in class Foo, which equals (Int, Int);
class Bar cannot be used here - classes and objects can only override abstract types
class Bar
^
diff --git a/test/files/neg/bug276.scala b/test/files/neg/t276.scala
index dfc8b468df..dfc8b468df 100644
--- a/test/files/neg/bug276.scala
+++ b/test/files/neg/t276.scala
diff --git a/test/files/neg/bug278.check b/test/files/neg/t278.check
index b1041b7895..ad1078f897 100644
--- a/test/files/neg/bug278.check
+++ b/test/files/neg/t278.check
@@ -1,10 +1,10 @@
-bug278.scala:5: error: overloaded method value a with alternatives:
+t278.scala:5: error: overloaded method value a with alternatives:
=> C.this.A => Unit <and>
=> () => Unit
does not take type parameters
a[A]
^
-bug278.scala:4: error: method a is defined twice
+t278.scala:4: error: method a is defined twice
def a = (p:A) => ()
^
two errors found
diff --git a/test/files/neg/bug278.scala b/test/files/neg/t278.scala
index 16ffe10595..16ffe10595 100644
--- a/test/files/neg/bug278.scala
+++ b/test/files/neg/t278.scala
diff --git a/test/files/neg/t284.check b/test/files/neg/t284.check
new file mode 100644
index 0000000000..37801af1b5
--- /dev/null
+++ b/test/files/neg/t284.check
@@ -0,0 +1,8 @@
+t284.scala:2: warning: Detected apparent refinement of Unit; are you missing an '=' sign?
+ def f1(a: T): Unit { }
+ ^
+t284.scala:5: error: Unmatched closing brace '}' ignored here
+ }
+ ^
+one warning found
+one error found
diff --git a/test/files/neg/bug284.scala b/test/files/neg/t284.scala
index a210130102..a210130102 100644
--- a/test/files/neg/bug284.scala
+++ b/test/files/neg/t284.scala
diff --git a/test/files/neg/bug3098.check b/test/files/neg/t3098.check
index 403da281c8..403da281c8 100644
--- a/test/files/neg/bug3098.check
+++ b/test/files/neg/t3098.check
diff --git a/test/files/neg/bug3098.flags b/test/files/neg/t3098.flags
index e8fb65d50c..e8fb65d50c 100644
--- a/test/files/neg/bug3098.flags
+++ b/test/files/neg/t3098.flags
diff --git a/test/files/neg/bug3098/a.scala b/test/files/neg/t3098/a.scala
index 57a103c7a8..57a103c7a8 100644
--- a/test/files/neg/bug3098/a.scala
+++ b/test/files/neg/t3098/a.scala
diff --git a/test/files/neg/bug3098/b.scala b/test/files/neg/t3098/b.scala
index 84a1f9f6f4..84a1f9f6f4 100644
--- a/test/files/neg/bug3098/b.scala
+++ b/test/files/neg/t3098/b.scala
diff --git a/test/files/neg/t3209.check b/test/files/neg/t3209.check
new file mode 100644
index 0000000000..c5a6b1d95d
--- /dev/null
+++ b/test/files/neg/t3209.check
@@ -0,0 +1,4 @@
+t3209.scala:2: error: expected start of definition
+package test
+^
+one error found
diff --git a/test/files/neg/bug3209.scala b/test/files/neg/t3209.scala
index d893726659..d893726659 100644
--- a/test/files/neg/bug3209.scala
+++ b/test/files/neg/t3209.scala
diff --git a/test/files/neg/t3240.check b/test/files/neg/t3240.check
new file mode 100644
index 0000000000..7ebabd5fcd
--- /dev/null
+++ b/test/files/neg/t3240.check
@@ -0,0 +1,7 @@
+t3240.scala:3: error: only classes can have declared but undefined members
+ type t
+ ^
+t3240.scala:5: error: type arguments [this.t] do not conform to method asInstanceOf's type parameter bounds [T0]
+ a.getOrElse(defVal).asInstanceOf[t]
+ ^
+two errors found
diff --git a/test/files/neg/bug3240.scala b/test/files/neg/t3240.scala
index cf197a406d..cf197a406d 100644
--- a/test/files/neg/bug3240.scala
+++ b/test/files/neg/t3240.scala
diff --git a/test/files/neg/bug3392.check b/test/files/neg/t3392.check
index cbae73ad3a..842d63eec9 100644
--- a/test/files/neg/bug3392.check
+++ b/test/files/neg/t3392.check
@@ -1,4 +1,4 @@
-bug3392.scala:9: error: not found: value x
+t3392.scala:9: error: not found: value x
case x@A(x/*<-- refers to the pattern that includes this comment*/.Ex(42)) =>
^
one error found
diff --git a/test/files/neg/bug3392.scala b/test/files/neg/t3392.scala
index 655c2e84a3..655c2e84a3 100644
--- a/test/files/neg/bug3392.scala
+++ b/test/files/neg/t3392.scala
diff --git a/test/files/neg/t343.check b/test/files/neg/t343.check
new file mode 100644
index 0000000000..d310b7915f
--- /dev/null
+++ b/test/files/neg/t343.check
@@ -0,0 +1,4 @@
+t343.scala:5: error: private class Foo escapes its defining scope as part of type C.this.Foo
+ def get:Foo = new Foo();
+ ^
+one error found
diff --git a/test/files/neg/bug343.scala b/test/files/neg/t343.scala
index ed57d2eef7..ed57d2eef7 100644
--- a/test/files/neg/bug343.scala
+++ b/test/files/neg/t343.scala
diff --git a/test/files/neg/bug3631.check b/test/files/neg/t3631.check
index 12d94aa4dc..6d8feca1ed 100644
--- a/test/files/neg/bug3631.check
+++ b/test/files/neg/t3631.check
@@ -1,4 +1,4 @@
-bug3631.scala:3: error: Implementation restriction: case classes cannot have more than 22 parameters.
+t3631.scala:3: error: Implementation restriction: case classes cannot have more than 22 parameters.
case class X23(x1: Int, x2: Int, x3: Int, x4: Int, x5: Int, x6: Int, x7: Int, x8: Int, x9: Int, x10: Int, x11: Int, x12: Int, x13: Int, x14: Int, x15: Int, x16: Int, x17: Int, x18: Int, x19: Int, x20: Int, x21: Int, x22: Int, x23: Int) { }
^
one error found
diff --git a/test/files/neg/bug3631.scala b/test/files/neg/t3631.scala
index bcf91619ee..bcf91619ee 100644
--- a/test/files/neg/bug3631.scala
+++ b/test/files/neg/t3631.scala
diff --git a/test/files/neg/bug3683a.check b/test/files/neg/t3683a.check
index a1c5b9c56d..18e80dd5e8 100644
--- a/test/files/neg/bug3683a.check
+++ b/test/files/neg/t3683a.check
@@ -1,4 +1,4 @@
-bug3683a.scala:14: error: match is not exhaustive!
+t3683a.scala:14: error: match is not exhaustive!
missing combination XX
w match {
diff --git a/test/files/neg/bug3683a.flags b/test/files/neg/t3683a.flags
index 85d8eb2ba2..85d8eb2ba2 100644
--- a/test/files/neg/bug3683a.flags
+++ b/test/files/neg/t3683a.flags
diff --git a/test/files/neg/bug3683a.scala b/test/files/neg/t3683a.scala
index 6d1915213a..6d1915213a 100644
--- a/test/files/neg/bug3683a.scala
+++ b/test/files/neg/t3683a.scala
diff --git a/test/files/neg/bug3683b.check b/test/files/neg/t3683b.check
index 2637f62630..6e3369241b 100644
--- a/test/files/neg/bug3683b.check
+++ b/test/files/neg/t3683b.check
@@ -1,4 +1,4 @@
-bug3683b.scala:15: error: constructor cannot be instantiated to expected type;
+t3683b.scala:15: error: constructor cannot be instantiated to expected type;
found : X
required: W[Bar]
Note: Foo >: Bar (and X <: W[Foo]), but trait W is invariant in type T.
diff --git a/test/files/neg/bug3683b.scala b/test/files/neg/t3683b.scala
index 646e418121..646e418121 100644
--- a/test/files/neg/bug3683b.scala
+++ b/test/files/neg/t3683b.scala
diff --git a/test/files/neg/bug3714-neg.check b/test/files/neg/t3714-neg.check
index 48420514ec..2db0655502 100644
--- a/test/files/neg/bug3714-neg.check
+++ b/test/files/neg/t3714-neg.check
@@ -1,10 +1,10 @@
-bug3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl
+t3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl
Access to protected value break not permitted because
enclosing object Test is not a subclass of
class BreakImpl where target is defined
case b: BreakImpl => b.break
^
-bug3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl
+t3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl
Access to protected value break not permitted because
enclosing object Test is not a subclass of
class BreakImpl where target is defined
diff --git a/test/files/neg/bug3714-neg.scala b/test/files/neg/t3714-neg.scala
index 19bdebbfa9..753b367ec0 100644
--- a/test/files/neg/bug3714-neg.scala
+++ b/test/files/neg/t3714-neg.scala
@@ -1,4 +1,4 @@
-// this is a slight negative twist on run/bug3714.scala.
+// this is a slight negative twist on run/t3714.scala.
trait Break {
protected val break: Int;
}
diff --git a/test/files/neg/t3736.check b/test/files/neg/t3736.check
new file mode 100644
index 0000000000..7a20f6c08b
--- /dev/null
+++ b/test/files/neg/t3736.check
@@ -0,0 +1,16 @@
+t3736.scala:4: error: super not allowed here: use this.isInstanceOf instead
+ def f2 = super.isInstanceOf[String]
+ ^
+t3736.scala:5: error: super not allowed here: use this.asInstanceOf instead
+ def f3 = super.asInstanceOf[AnyRef]
+ ^
+t3736.scala:6: error: super not allowed here: use this.== instead
+ def f4 = super.==(new AnyRef)
+ ^
+t3736.scala:7: error: super not allowed here: use this.!= instead
+ def f5 = super.!=(new AnyRef)
+ ^
+t3736.scala:8: error: super not allowed here: use this.## instead
+ def f6 = super.##
+ ^
+5 errors found
diff --git a/test/files/neg/bug3736.scala b/test/files/neg/t3736.scala
index cf0920912a..cf0920912a 100644
--- a/test/files/neg/bug3736.scala
+++ b/test/files/neg/t3736.scala
diff --git a/test/files/neg/t3909.check b/test/files/neg/t3909.check
new file mode 100644
index 0000000000..7da0195607
--- /dev/null
+++ b/test/files/neg/t3909.check
@@ -0,0 +1,4 @@
+t3909.scala:1: error: in object DO, multiple overloaded alternatives of m1 define default arguments
+object DO {
+ ^
+one error found
diff --git a/test/files/neg/bug3909.scala b/test/files/neg/t3909.scala
index 758dc70fd4..758dc70fd4 100644
--- a/test/files/neg/bug3909.scala
+++ b/test/files/neg/t3909.scala
diff --git a/test/files/neg/bug391.check b/test/files/neg/t391.check
index 18f36a5757..879d9af71f 100644
--- a/test/files/neg/bug391.check
+++ b/test/files/neg/t391.check
@@ -1,13 +1,13 @@
-bug391.scala:2: error: identifier expected but 'def' found.
+t391.scala:2: error: identifier expected but 'def' found.
def fun1(def x: Int): Int = x; // the "def x" is illegal
^
-bug391.scala:4: error: ':' expected but '}' found.
+t391.scala:4: error: ':' expected but '}' found.
}
^
-bug391.scala:6: error: identifier expected but 'def' found.
+t391.scala:6: error: identifier expected but 'def' found.
class E(def x: Int); // the "def x" is illegal
^
-bug391.scala:6: error: ':' expected but eof found.
+t391.scala:6: error: ':' expected but eof found.
class E(def x: Int); // the "def x" is illegal
^
four errors found
diff --git a/test/files/neg/bug391.scala b/test/files/neg/t391.scala
index 08c083baa5..08c083baa5 100644
--- a/test/files/neg/bug391.scala
+++ b/test/files/neg/t391.scala
diff --git a/test/files/neg/t3913.check b/test/files/neg/t3913.check
new file mode 100644
index 0000000000..d85e5c5bea
--- /dev/null
+++ b/test/files/neg/t3913.check
@@ -0,0 +1,4 @@
+t3913.scala:2: error: super constructor cannot be passed a self reference unless parameter is declared by-name
+object LimboStage extends Stage( Set( LimboStage ))
+ ^
+one error found
diff --git a/test/files/neg/bug3913.scala b/test/files/neg/t3913.scala
index e0917ff3e3..e0917ff3e3 100644
--- a/test/files/neg/bug3913.scala
+++ b/test/files/neg/t3913.scala
diff --git a/test/files/neg/t4069.check b/test/files/neg/t4069.check
new file mode 100644
index 0000000000..91bf882cec
--- /dev/null
+++ b/test/files/neg/t4069.check
@@ -0,0 +1,16 @@
+t4069.scala:7: error: unexpected end of input: possible missing '}' in XML block
+ case 2 =>
+ ^
+t4069.scala:6: error: Missing closing brace `}' assumed here
+ </div>
+ ^
+t4069.scala:9: error: in XML literal: in XML content, please use '}}' to express '}'
+ }
+ ^
+t4069.scala:4: error: I encountered a '}' where I didn't expect one, maybe this tag isn't closed <div>
+ <div>
+ ^
+t4069.scala:10: error: '}' expected but eof found.
+}
+^
+5 errors found
diff --git a/test/files/neg/bug4069.scala b/test/files/neg/t4069.scala
index 80df6ec16d..80df6ec16d 100644
--- a/test/files/neg/bug4069.scala
+++ b/test/files/neg/t4069.scala
diff --git a/test/files/neg/bug409.check b/test/files/neg/t409.check
index 25e5a41d16..433d64d25d 100644
--- a/test/files/neg/bug409.check
+++ b/test/files/neg/t409.check
@@ -1,4 +1,4 @@
-bug409.scala:6: error: traits or objects may not have parameters
+t409.scala:6: error: traits or objects may not have parameters
class Toto extends Expr with Case1(12);
^
one error found
diff --git a/test/files/neg/bug409.scala b/test/files/neg/t409.scala
index 5dac2fdaa4..5dac2fdaa4 100644
--- a/test/files/neg/bug409.scala
+++ b/test/files/neg/t409.scala
diff --git a/test/files/neg/bug412.check b/test/files/neg/t412.check
index f25ad6fa7e..9cb467e854 100644
--- a/test/files/neg/bug412.check
+++ b/test/files/neg/t412.check
@@ -1,4 +1,4 @@
-bug412.scala:11: error: stable identifier required, but A.this.c found.
+t412.scala:11: error: stable identifier required, but A.this.c found.
Note that value c is not stable because its type, A.this.CX with A.this.C2, is volatile.
def castA(x: c.T): T2 = x;
^
diff --git a/test/files/neg/bug412.scala b/test/files/neg/t412.scala
index 54cd90da1c..54cd90da1c 100644
--- a/test/files/neg/bug412.scala
+++ b/test/files/neg/t412.scala
diff --git a/test/files/neg/bug414.check b/test/files/neg/t414.check
index 91bb39caf2..a855497648 100644
--- a/test/files/neg/bug414.check
+++ b/test/files/neg/t414.check
@@ -1,10 +1,10 @@
-bug414.scala:5: error: pattern type is incompatible with expected type;
+t414.scala:5: error: pattern type is incompatible with expected type;
found : object Empty
required: IntMap[a]
Note: if you intended to match against the class, try `case _: Empty[_]` or `case Empty()`
case Empty =>
^
-bug414.scala:7: error: type mismatch;
+t414.scala:7: error: type mismatch;
found : Unit
required: a
case _ =>
diff --git a/test/files/neg/bug414.scala b/test/files/neg/t414.scala
index 2bc83eedcb..2bc83eedcb 100644
--- a/test/files/neg/bug414.scala
+++ b/test/files/neg/t414.scala
diff --git a/test/files/neg/bug4158.check b/test/files/neg/t4158.check
index 0d9873dc32..db61ff2ec4 100644
--- a/test/files/neg/bug4158.check
+++ b/test/files/neg/t4158.check
@@ -1,4 +1,4 @@
-bug4158.scala:3: error: type mismatch;
+t4158.scala:3: error: type mismatch;
found : Null(null)
required: Int
Note that implicit conversions are not applicable because they are ambiguous:
@@ -7,7 +7,7 @@ Note that implicit conversions are not applicable because they are ambiguous:
are possible conversion functions from Null(null) to Int
var y = null: Int
^
-bug4158.scala:2: error: type mismatch;
+t4158.scala:2: error: type mismatch;
found : Null(null)
required: Int
Note that implicit conversions are not applicable because they are ambiguous:
diff --git a/test/files/neg/bug4158.scala b/test/files/neg/t4158.scala
index 07aa69a95c..07aa69a95c 100644
--- a/test/files/neg/bug4158.scala
+++ b/test/files/neg/t4158.scala
diff --git a/test/files/neg/bug4166.check b/test/files/neg/t4166.check
index 938dad1488..24129c54ad 100644
--- a/test/files/neg/bug4166.check
+++ b/test/files/neg/t4166.check
@@ -1,4 +1,4 @@
-bug4166.scala:3: error: super constructor arguments cannot reference unconstructed `this`
+t4166.scala:3: error: super constructor arguments cannot reference unconstructed `this`
class Demo extends Base(new { Demo.this }) {
^
one error found
diff --git a/test/files/neg/bug4166.scala b/test/files/neg/t4166.scala
index c20796c43c..c20796c43c 100644
--- a/test/files/neg/bug4166.scala
+++ b/test/files/neg/t4166.scala
diff --git a/test/files/neg/bug4174.check b/test/files/neg/t4174.check
index 4881c000ea..914fcff76e 100644
--- a/test/files/neg/bug4174.check
+++ b/test/files/neg/t4174.check
@@ -1,4 +1,4 @@
-bug4174.scala:7: error: method bar overrides nothing
+t4174.scala:7: error: method bar overrides nothing
foo(new C { override def bar = 1 })
^
one error found
diff --git a/test/files/neg/bug4174.scala b/test/files/neg/t4174.scala
index b4a5ab29da..b4a5ab29da 100644
--- a/test/files/neg/bug4174.scala
+++ b/test/files/neg/t4174.scala
diff --git a/test/files/neg/bug0418.check b/test/files/neg/t418.check
index 08bd24bf29..1489547823 100644
--- a/test/files/neg/bug0418.check
+++ b/test/files/neg/t418.check
@@ -1,7 +1,7 @@
-bug0418.scala:2: error: not found: value Foo12340771
+t418.scala:2: error: not found: value Foo12340771
null match { case Foo12340771.Bar(x) => x }
^
-bug0418.scala:2: error: not found: value x
+t418.scala:2: error: not found: value x
null match { case Foo12340771.Bar(x) => x }
^
two errors found
diff --git a/test/files/neg/bug418.scala b/test/files/neg/t418.scala
index 67007010d4..67007010d4 100644
--- a/test/files/neg/bug418.scala
+++ b/test/files/neg/t418.scala
diff --git a/test/files/neg/bug4196.check b/test/files/neg/t4196.check
index 0905d2e6a7..a0586819e9 100644
--- a/test/files/neg/bug4196.check
+++ b/test/files/neg/t4196.check
@@ -1,4 +1,4 @@
-bug4196.scala:5: error: Some[String] does not take parameters
+t4196.scala:5: error: Some[String] does not take parameters
}.apply("first param") ("spurious param")
^
one error found
diff --git a/test/files/neg/bug4196.scala b/test/files/neg/t4196.scala
index 06e1f28d54..06e1f28d54 100644
--- a/test/files/neg/bug4196.scala
+++ b/test/files/neg/t4196.scala
diff --git a/test/files/neg/bug421.check b/test/files/neg/t421.check
index 71daba2881..e81df52ab0 100644
--- a/test/files/neg/bug421.check
+++ b/test/files/neg/t421.check
@@ -1,4 +1,4 @@
-bug421.scala:5: error: star patterns must correspond with varargs parameters
+t421.scala:5: error: star patterns must correspond with varargs parameters
case Bar("foo",_*) => error("huh?");
^
one error found
diff --git a/test/files/neg/bug421.scala b/test/files/neg/t421.scala
index 43f6c9dafd..43f6c9dafd 100644
--- a/test/files/neg/bug421.scala
+++ b/test/files/neg/t421.scala
diff --git a/test/files/neg/t4217.check b/test/files/neg/t4217.check
new file mode 100644
index 0000000000..e8cd5fd69e
--- /dev/null
+++ b/test/files/neg/t4217.check
@@ -0,0 +1,4 @@
+t4217.scala:2: error: 'case' expected but '}' found.
+ 42 match { }
+ ^
+one error found
diff --git a/test/files/neg/bug4217.scala b/test/files/neg/t4217.scala
index 0817df2cb7..0817df2cb7 100644
--- a/test/files/neg/bug4217.scala
+++ b/test/files/neg/t4217.scala
diff --git a/test/files/neg/bug4221.check b/test/files/neg/t4221.check
index 471332e3c1..46c2d10a98 100644
--- a/test/files/neg/bug4221.check
+++ b/test/files/neg/t4221.check
@@ -1,4 +1,4 @@
-bug4221.scala:8: error: type mismatch;
+t4221.scala:8: error: type mismatch;
found : Unit
required: Wrapper[S]
def wrap[S <: Cl#Sub[S]](v: S): Wrapper[S] = {
diff --git a/test/files/neg/bug4221.scala b/test/files/neg/t4221.scala
index 0a8b8add18..0a8b8add18 100644
--- a/test/files/neg/bug4221.scala
+++ b/test/files/neg/t4221.scala
diff --git a/test/files/neg/bug4302.check b/test/files/neg/t4302.check
index ca33748cfd..327425acb0 100644
--- a/test/files/neg/bug4302.check
+++ b/test/files/neg/t4302.check
@@ -1,4 +1,4 @@
-bug4302.scala:2: error: abstract type T in type T is unchecked since it is eliminated by erasure
+t4302.scala:2: error: abstract type T in type T is unchecked since it is eliminated by erasure
def hasMatch[T](x: AnyRef) = x.isInstanceOf[T]
^
one error found
diff --git a/test/files/neg/bug4302.flags b/test/files/neg/t4302.flags
index 779916d58f..779916d58f 100644
--- a/test/files/neg/bug4302.flags
+++ b/test/files/neg/t4302.flags
diff --git a/test/files/neg/bug4302.scala b/test/files/neg/t4302.scala
index 53565f05c2..53565f05c2 100644
--- a/test/files/neg/bug4302.scala
+++ b/test/files/neg/t4302.scala
diff --git a/test/files/neg/t4419.check b/test/files/neg/t4419.check
new file mode 100644
index 0000000000..8a5d95ca4e
--- /dev/null
+++ b/test/files/neg/t4419.check
@@ -0,0 +1,4 @@
+t4419.scala:2: error: forward reference extends over definition of value b
+ { val b = a; val a = 1 }
+ ^
+one error found
diff --git a/test/files/neg/bug4419.scala b/test/files/neg/t4419.scala
index 38a34be489..38a34be489 100644
--- a/test/files/neg/bug4419.scala
+++ b/test/files/neg/t4419.scala
diff --git a/test/files/neg/bug452.check b/test/files/neg/t452.check
index ac23ebc560..85197af21b 100644
--- a/test/files/neg/bug452.check
+++ b/test/files/neg/t452.check
@@ -1,4 +1,4 @@
-bug452.scala:3: error: type mismatch;
+t452.scala:3: error: type mismatch;
found : Test.type (with underlying type object Test)
required: Test.Foo
def this() = this(this);
diff --git a/test/files/neg/bug452.scala b/test/files/neg/t452.scala
index 855406d0c4..855406d0c4 100644
--- a/test/files/neg/bug452.scala
+++ b/test/files/neg/t452.scala
diff --git a/test/files/neg/bug4537.check b/test/files/neg/t4537.check
index 931bcd0405..931bcd0405 100644
--- a/test/files/neg/bug4537.check
+++ b/test/files/neg/t4537.check
diff --git a/test/files/neg/bug4537/a.scala b/test/files/neg/t4537/a.scala
index 65e183c5f8..65e183c5f8 100644
--- a/test/files/neg/bug4537/a.scala
+++ b/test/files/neg/t4537/a.scala
diff --git a/test/files/neg/bug4537/b.scala b/test/files/neg/t4537/b.scala
index bb9dd4e15a..bb9dd4e15a 100644
--- a/test/files/neg/bug4537/b.scala
+++ b/test/files/neg/t4537/b.scala
diff --git a/test/files/neg/bug4537/c.scala b/test/files/neg/t4537/c.scala
index 379599112d..379599112d 100644
--- a/test/files/neg/bug4537/c.scala
+++ b/test/files/neg/t4537/c.scala
diff --git a/test/files/neg/bug4584.check b/test/files/neg/t4584.check
index 0008d9efa5..3380f02e85 100644
--- a/test/files/neg/bug4584.check
+++ b/test/files/neg/t4584.check
@@ -1,4 +1,4 @@
-bug4584.scala:1: error: incomplete unicode escape
+t4584.scala:1: error: incomplete unicode escape
class A { val \u2
^
one error found
diff --git a/test/files/neg/bug4584.scala b/test/files/neg/t4584.scala
index b34aba91a2..b34aba91a2 100644
--- a/test/files/neg/bug4584.scala
+++ b/test/files/neg/t4584.scala
diff --git a/test/files/neg/t464-neg.check b/test/files/neg/t464-neg.check
new file mode 100644
index 0000000000..aea1987b2e
--- /dev/null
+++ b/test/files/neg/t464-neg.check
@@ -0,0 +1,16 @@
+t464-neg.scala:7: error: not found: value f1
+ f1()
+ ^
+t464-neg.scala:8: error: method f1 in class A cannot be accessed in A with ScalaObject
+ super.f1()
+ ^
+t464-neg.scala:9: error: value f2 is not a member of B
+ def otherb(b2: B) = b2.f2()
+ ^
+t464-neg.scala:10: error: method f3 in class A cannot be accessed in B
+ f3()
+ ^
+t464-neg.scala:11: error: method f3 in class A cannot be accessed in A with ScalaObject
+ super.f3()
+ ^
+5 errors found
diff --git a/test/files/neg/bug464-neg.scala b/test/files/neg/t464-neg.scala
index 138fa8e869..138fa8e869 100644
--- a/test/files/neg/bug464-neg.scala
+++ b/test/files/neg/t464-neg.scala
diff --git a/test/files/neg/bug4727.check b/test/files/neg/t4727.check
index cac35b1548..9fa0fa54d1 100644
--- a/test/files/neg/bug4727.check
+++ b/test/files/neg/t4727.check
@@ -1,4 +1,4 @@
-bug4727.scala:5: error: type mismatch;
+t4727.scala:5: error: type mismatch;
found : Null
required: Int
Note that implicit conversions are not applicable because they are ambiguous:
diff --git a/test/files/neg/bug4727.scala b/test/files/neg/t4727.scala
index 40c06713ca..40c06713ca 100644
--- a/test/files/neg/bug4727.scala
+++ b/test/files/neg/t4727.scala
diff --git a/test/files/neg/t473.check b/test/files/neg/t473.check
new file mode 100644
index 0000000000..a14222c962
--- /dev/null
+++ b/test/files/neg/t473.check
@@ -0,0 +1,4 @@
+t473.scala:3: error: super constructor cannot be passed a self reference unless parameter is declared by-name
+case object Voop extends Foo(Voop)
+ ^
+one error found
diff --git a/test/files/neg/bug473.scala b/test/files/neg/t473.scala
index c7631705ac..c7631705ac 100644
--- a/test/files/neg/bug473.scala
+++ b/test/files/neg/t473.scala
diff --git a/test/files/neg/bug4851.check b/test/files/neg/t4851.check
index 8011350f23..8011350f23 100644
--- a/test/files/neg/bug4851.check
+++ b/test/files/neg/t4851.check
diff --git a/test/files/neg/bug4851.flags b/test/files/neg/t4851.flags
index 0545cb8b84..0545cb8b84 100644
--- a/test/files/neg/bug4851.flags
+++ b/test/files/neg/t4851.flags
diff --git a/test/files/neg/bug4851/J.java b/test/files/neg/t4851/J.java
index 9c35b8a16e..9c35b8a16e 100644
--- a/test/files/neg/bug4851/J.java
+++ b/test/files/neg/t4851/J.java
diff --git a/test/files/neg/bug4851/J2.java b/test/files/neg/t4851/J2.java
index 82954d9489..82954d9489 100644
--- a/test/files/neg/bug4851/J2.java
+++ b/test/files/neg/t4851/J2.java
diff --git a/test/files/neg/bug4851/S.scala b/test/files/neg/t4851/S.scala
index deb42980ab..deb42980ab 100644
--- a/test/files/neg/bug4851/S.scala
+++ b/test/files/neg/t4851/S.scala
diff --git a/test/files/neg/bug4877.check b/test/files/neg/t4877.check
index 6970271c40..5a5561b070 100644
--- a/test/files/neg/bug4877.check
+++ b/test/files/neg/t4877.check
@@ -1,19 +1,19 @@
-bug4877.scala:4: error: type mismatch;
+t4877.scala:4: error: type mismatch;
found : java.lang.Object{def bar: Int}
required: AnyRef{def bar: String}
def foo: AnyRef { def bar: String } = new AnyRef { def bar = 42 }
^
-bug4877.scala:6: error: type mismatch;
+t4877.scala:6: error: type mismatch;
found : java.lang.Object{def bar(x: Int): java.lang.String}
required: AnyRef{def bar(x: Int): Int}
def foo3: AnyRef { def bar(x: Int): Int } = new AnyRef { def bar(x: Int) = "abc" }
^
-bug4877.scala:7: error: type mismatch;
+t4877.scala:7: error: type mismatch;
found : java.lang.Object with C{def bar(x: Int): Int}
required: C{def bar(x: Int): Int; def quux(x: Int): Int}
def foo4: C { def bar(x: Int): Int ; def quux(x: Int): Int } = new C { def bar(x: Int) = 5 }
^
-bug4877.scala:17: error: type mismatch;
+t4877.scala:17: error: type mismatch;
found : java.lang.Object{type Mom = String; def bar(x: Int): Int; def bippy(): List[Int]}
required: B.this.Bippy (which expands to)
AnyRef{type Mom; def bar(x: Int): this.Mom; def bippy(): List[this.Mom]}
diff --git a/test/files/neg/bug4877.flags b/test/files/neg/t4877.flags
index 7ccd56103a..7ccd56103a 100644
--- a/test/files/neg/bug4877.flags
+++ b/test/files/neg/t4877.flags
diff --git a/test/files/neg/bug4877.scala b/test/files/neg/t4877.scala
index 5d97877518..5d97877518 100644
--- a/test/files/neg/bug4877.scala
+++ b/test/files/neg/t4877.scala
diff --git a/test/files/neg/bug4879.check b/test/files/neg/t4879.check
index 6b9e452109..49f3c73cf7 100644
--- a/test/files/neg/bug4879.check
+++ b/test/files/neg/t4879.check
@@ -1,10 +1,10 @@
-bug4879.scala:6: error: pattern type is incompatible with expected type;
+t4879.scala:6: error: pattern type is incompatible with expected type;
found : object C
required: C
Note: if you intended to match against the class, try `case _: C` or `case C(_)`
case C => true
^
-bug4879.scala:10: error: pattern type is incompatible with expected type;
+t4879.scala:10: error: pattern type is incompatible with expected type;
found : object D
required: D[T,U,V]
Note: if you intended to match against the class, try `case _: D[_,_,_]` or `case D(_,_,_)`
diff --git a/test/files/neg/bug4879.scala b/test/files/neg/t4879.scala
index 7d6561e9e0..7d6561e9e0 100644
--- a/test/files/neg/bug4879.scala
+++ b/test/files/neg/t4879.scala
diff --git a/test/files/neg/bug4882.check b/test/files/neg/t4882.check
index 2987cabe7f..0aafc82770 100644
--- a/test/files/neg/bug4882.check
+++ b/test/files/neg/t4882.check
@@ -1,4 +1,4 @@
-bug4882.scala:2: error: `implicit' modifier not allowed for constructors
+t4882.scala:2: error: `implicit' modifier not allowed for constructors
implicit def this(a: String) = this(a.toInt)
^
one error found
diff --git a/test/files/neg/bug4882.scala b/test/files/neg/t4882.scala
index 4e58ef7879..4e58ef7879 100644
--- a/test/files/neg/bug4882.scala
+++ b/test/files/neg/t4882.scala
diff --git a/test/files/neg/t500.check b/test/files/neg/t500.check
new file mode 100644
index 0000000000..b3f5c85978
--- /dev/null
+++ b/test/files/neg/t500.check
@@ -0,0 +1,4 @@
+t500.scala:3: error: lower bound X does not conform to upper bound Y
+ type T >: X <: Y;
+ ^
+one error found
diff --git a/test/files/neg/bug500.scala b/test/files/neg/t500.scala
index d843d71f07..d843d71f07 100644
--- a/test/files/neg/bug500.scala
+++ b/test/files/neg/t500.scala
diff --git a/test/files/neg/bug501.check b/test/files/neg/t501.check
index 112e49aad5..3e3bf39075 100644
--- a/test/files/neg/bug501.check
+++ b/test/files/neg/t501.check
@@ -1,4 +1,4 @@
-bug501.scala:3: error: lower bound X does not conform to upper bound Y
+t501.scala:3: error: lower bound X does not conform to upper bound Y
abstract class I { type T >: X <: Y; }
^
one error found
diff --git a/test/files/neg/bug501.scala b/test/files/neg/t501.scala
index 437ab8f21e..437ab8f21e 100644
--- a/test/files/neg/bug501.scala
+++ b/test/files/neg/t501.scala
diff --git a/test/files/neg/t510.check b/test/files/neg/t510.check
new file mode 100644
index 0000000000..355a6cdf07
--- /dev/null
+++ b/test/files/neg/t510.check
@@ -0,0 +1,4 @@
+t510.scala:19: error: cyclic aliasing or subtyping involving type T
+ def g(t: e.T): Unit = {
+ ^
+one error found
diff --git a/test/files/neg/bug510.scala b/test/files/neg/t510.scala
index a1cd2df009..a1cd2df009 100644
--- a/test/files/neg/bug510.scala
+++ b/test/files/neg/t510.scala
diff --git a/test/files/neg/bug512.check b/test/files/neg/t512.check
index f3d0e18a79..814e65e405 100644
--- a/test/files/neg/bug512.check
+++ b/test/files/neg/t512.check
@@ -1,4 +1,4 @@
-bug512.scala:3: error: not found: value something
+t512.scala:3: error: not found: value something
val xxx = something ||
^
one error found
diff --git a/test/files/neg/bug512.scala b/test/files/neg/t512.scala
index 0a0ccde75c..0a0ccde75c 100644
--- a/test/files/neg/bug512.scala
+++ b/test/files/neg/t512.scala
diff --git a/test/files/neg/bug515.check b/test/files/neg/t515.check
index a38c8b62d8..351e99aa55 100644
--- a/test/files/neg/bug515.check
+++ b/test/files/neg/t515.check
@@ -1,4 +1,4 @@
-bug515.scala:7: error: type mismatch;
+t515.scala:7: error: type mismatch;
found : java.lang.String
required: Test.Truc
val parent: Truc = file.getMachin
diff --git a/test/files/neg/bug515.scala b/test/files/neg/t515.scala
index bb2376dcab..bb2376dcab 100644
--- a/test/files/neg/bug515.scala
+++ b/test/files/neg/t515.scala
diff --git a/test/files/neg/bug520.check b/test/files/neg/t520.check
index 258f8112e3..0035f89a79 100644
--- a/test/files/neg/bug520.check
+++ b/test/files/neg/t520.check
@@ -1,4 +1,4 @@
-bug520.scala:8: error: overloaded method verifyKeyword needs result type
+t520.scala:8: error: overloaded method verifyKeyword needs result type
verifyKeyword("", source, pos);
^
one error found
diff --git a/test/files/neg/bug520.scala b/test/files/neg/t520.scala
index 076aca3122..076aca3122 100644
--- a/test/files/neg/bug520.scala
+++ b/test/files/neg/t520.scala
diff --git a/test/files/neg/t521.check b/test/files/neg/t521.check
new file mode 100644
index 0000000000..a100195655
--- /dev/null
+++ b/test/files/neg/t521.check
@@ -0,0 +1,15 @@
+t521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined
+class PlainFile(val file : File) extends AbstractFile {}
+ ^
+t521.scala:13: error: overriding value file in class PlainFile of type java.io.File;
+ value file needs `override' modifier
+final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
+ ^
+t521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => String is not defined
+final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
+ ^
+t521.scala:15: error: overriding value path in class VirtualFile of type String;
+ method path needs to be a stable, immutable value
+ override def path = "";
+ ^
+four errors found
diff --git a/test/files/neg/bug521.scala b/test/files/neg/t521.scala
index c6afebc0be..c6afebc0be 100644
--- a/test/files/neg/bug521.scala
+++ b/test/files/neg/t521.scala
diff --git a/test/files/neg/t545.check b/test/files/neg/t545.check
new file mode 100644
index 0000000000..8ebbf9bdf6
--- /dev/null
+++ b/test/files/neg/t545.check
@@ -0,0 +1,7 @@
+t545.scala:4: error: value blah is not a member of Test.Foo
+ val x = foo.blah match {
+ ^
+t545.scala:5: error: recursive value x needs type
+ case List(x) => x
+ ^
+two errors found
diff --git a/test/files/neg/bug545.scala b/test/files/neg/t545.scala
index f1f9909dcb..f1f9909dcb 100644
--- a/test/files/neg/bug545.scala
+++ b/test/files/neg/t545.scala
diff --git a/test/files/neg/t550.check b/test/files/neg/t550.check
new file mode 100644
index 0000000000..da862e110e
--- /dev/null
+++ b/test/files/neg/t550.check
@@ -0,0 +1,7 @@
+t550.scala:6: error: type List takes type parameters
+ def sum[a](xs: List)(implicit m: Monoid[a]): a =
+ ^
+t550.scala:8: error: could not find implicit value for parameter m: Monoid[a]
+ sum(List(1,2,3))
+ ^
+two errors found
diff --git a/test/files/neg/bug550.scala b/test/files/neg/t550.scala
index 5212a2658d..5212a2658d 100644
--- a/test/files/neg/bug550.scala
+++ b/test/files/neg/t550.scala
diff --git a/test/files/neg/bug556.check b/test/files/neg/t556.check
index 26aa2f1129..c278e13991 100644
--- a/test/files/neg/bug556.check
+++ b/test/files/neg/t556.check
@@ -1,4 +1,4 @@
-bug556.scala:3: error: wrong number of parameters; expected = 1
+t556.scala:3: error: wrong number of parameters; expected = 1
def g:Int = f((x,y)=>x)
^
one error found
diff --git a/test/files/neg/bug556.scala b/test/files/neg/t556.scala
index b0113258c9..b0113258c9 100644
--- a/test/files/neg/bug556.scala
+++ b/test/files/neg/t556.scala
diff --git a/test/files/neg/bug558.check b/test/files/neg/t558.check
index 061f64f7bb..f33ddc451f 100644
--- a/test/files/neg/bug558.check
+++ b/test/files/neg/t558.check
@@ -1,4 +1,4 @@
-bug558.scala:13: error: value file is not a member of NewModel.this.RootURL
+t558.scala:13: error: value file is not a member of NewModel.this.RootURL
final val source = top.file;
^
one error found
diff --git a/test/files/neg/bug558.scala b/test/files/neg/t558.scala
index 58b030347c..58b030347c 100644
--- a/test/files/neg/bug558.scala
+++ b/test/files/neg/t558.scala
diff --git a/test/files/neg/bug562.check b/test/files/neg/t562.check
index 638d758b8d..8c3823642a 100644
--- a/test/files/neg/bug562.check
+++ b/test/files/neg/t562.check
@@ -1,4 +1,4 @@
-bug562.scala:10: error: super may be not be used on value y
+t562.scala:10: error: super may be not be used on value y
override val y = super.y;
^
one error found
diff --git a/test/files/neg/bug562.scala b/test/files/neg/t562.scala
index c4a6e61742..c4a6e61742 100644
--- a/test/files/neg/bug562.scala
+++ b/test/files/neg/t562.scala
diff --git a/test/files/neg/bug563.check b/test/files/neg/t563.check
index c592a56100..1431c85eb0 100644
--- a/test/files/neg/bug563.check
+++ b/test/files/neg/t563.check
@@ -1,4 +1,4 @@
-bug563.scala:6: error: missing parameter type
+t563.scala:6: error: missing parameter type
map(n,ptr => Option(ptr.get));
^
one error found
diff --git a/test/files/neg/bug563.scala b/test/files/neg/t563.scala
index 204ad3cbdd..204ad3cbdd 100644
--- a/test/files/neg/bug563.scala
+++ b/test/files/neg/t563.scala
diff --git a/test/files/neg/bug565.check b/test/files/neg/t565.check
index 47a1ebd169..136cc94b6f 100644
--- a/test/files/neg/bug565.check
+++ b/test/files/neg/t565.check
@@ -1,4 +1,4 @@
-bug565.scala:2: error: only classes can have declared but undefined members
+t565.scala:2: error: only classes can have declared but undefined members
(Note that variables need to be initialized to be defined)
var s0: String
^
diff --git a/test/files/neg/bug565.scala b/test/files/neg/t565.scala
index 9a4732fcc3..9a4732fcc3 100644
--- a/test/files/neg/bug565.scala
+++ b/test/files/neg/t565.scala
diff --git a/test/files/neg/bug576.check b/test/files/neg/t576.check
index b496ccafd4..7105c92866 100644
--- a/test/files/neg/bug576.check
+++ b/test/files/neg/t576.check
@@ -1,4 +1,4 @@
-bug576.scala:14: error: overloaded method insert needs result type
+t576.scala:14: error: overloaded method insert needs result type
if (true) sibling.insert(node);
^
one error found
diff --git a/test/files/neg/bug576.scala b/test/files/neg/t576.scala
index fd83217a45..fd83217a45 100644
--- a/test/files/neg/bug576.scala
+++ b/test/files/neg/t576.scala
diff --git a/test/files/neg/t585.check b/test/files/neg/t585.check
new file mode 100644
index 0000000000..d332ac5414
--- /dev/null
+++ b/test/files/neg/t585.check
@@ -0,0 +1,4 @@
+t585.scala:1: error: unclosed comment
+/*
+^
+one error found
diff --git a/test/files/neg/bug585.scala b/test/files/neg/t585.scala
index 0875e2cb0f..0875e2cb0f 100644
--- a/test/files/neg/bug585.scala
+++ b/test/files/neg/t585.scala
diff --git a/test/files/neg/bug588.check b/test/files/neg/t588.check
index 8c01ac5b09..f8b5516fdc 100644
--- a/test/files/neg/bug588.check
+++ b/test/files/neg/t588.check
@@ -1,10 +1,10 @@
-bug588.scala:3: error: double definition:
+t588.scala:3: error: double definition:
method visit:(f: Int => String)Boolean and
method visit:(f: Int => Unit)Boolean at line 2
have same type after erasure: (f: Function1)Boolean
def visit(f: Int => String): Boolean
^
-bug588.scala:10: error: double definition:
+t588.scala:10: error: double definition:
method f:(brac: Test.this.TypeB)Unit and
method f:(node: Test.this.TypeA)Unit at line 9
have same type after erasure: (brac: Test#TraitA)Unit
diff --git a/test/files/neg/bug588.scala b/test/files/neg/t588.scala
index f30937377e..f30937377e 100644
--- a/test/files/neg/bug588.scala
+++ b/test/files/neg/t588.scala
diff --git a/test/files/neg/bug591.check b/test/files/neg/t591.check
index 2c2e08da99..434c2dd002 100644
--- a/test/files/neg/bug591.check
+++ b/test/files/neg/t591.check
@@ -1,4 +1,4 @@
-bug591.scala:38: error: method input_= is defined twice
+t591.scala:38: error: method input_= is defined twice
def input_=(in : Input) = {}
^
one error found
diff --git a/test/files/neg/bug591.scala b/test/files/neg/t591.scala
index 0f0b02395c..0f0b02395c 100644
--- a/test/files/neg/bug591.scala
+++ b/test/files/neg/t591.scala
diff --git a/test/files/neg/t593.check b/test/files/neg/t593.check
new file mode 100644
index 0000000000..c1aeab8ec4
--- /dev/null
+++ b/test/files/neg/t593.check
@@ -0,0 +1,4 @@
+t593.scala:1: error: traits or objects may not have parameters
+trait Wrapper[T](x : T) {
+ ^
+one error found
diff --git a/test/files/neg/bug593.scala b/test/files/neg/t593.scala
index df7199a42a..df7199a42a 100644
--- a/test/files/neg/bug593.scala
+++ b/test/files/neg/t593.scala
diff --git a/test/files/neg/bug608.check b/test/files/neg/t608.check
index a8e32e4c10..5c7f49d004 100644
--- a/test/files/neg/bug608.check
+++ b/test/files/neg/t608.check
@@ -1,4 +1,4 @@
-bug608.scala:16: error: type mismatch;
+t608.scala:16: error: type mismatch;
found : hs{type a = ha}
required: hs{type s = hs; type a = ha}
= g(f(x).bimap(id))
diff --git a/test/files/neg/bug608.scala b/test/files/neg/t608.scala
index 34dc4c0352..34dc4c0352 100644
--- a/test/files/neg/bug608.scala
+++ b/test/files/neg/t608.scala
diff --git a/test/files/neg/bug630.check b/test/files/neg/t630.check
index 739d214fe5..0814ef0c18 100644
--- a/test/files/neg/bug630.check
+++ b/test/files/neg/t630.check
@@ -1,4 +1,4 @@
-bug630.scala:20: error: overriding value foo in trait Bar of type Req2;
+t630.scala:20: error: overriding value foo in trait Bar of type Req2;
object foo has incompatible type
object foo extends Req1
^
diff --git a/test/files/neg/bug630.scala b/test/files/neg/t630.scala
index 8a073963b0..8a073963b0 100644
--- a/test/files/neg/bug630.scala
+++ b/test/files/neg/t630.scala
diff --git a/test/files/neg/t631.check b/test/files/neg/t631.check
new file mode 100644
index 0000000000..3759565e11
--- /dev/null
+++ b/test/files/neg/t631.check
@@ -0,0 +1,4 @@
+t631.scala:1: error: `implicit' modifier cannot be used for top-level objects
+implicit object Test {
+ ^
+one error found
diff --git a/test/files/neg/bug631.scala b/test/files/neg/t631.scala
index 631db3eb10..631db3eb10 100644
--- a/test/files/neg/bug631.scala
+++ b/test/files/neg/t631.scala
diff --git a/test/files/neg/bug633.check b/test/files/neg/t633.check
index 90f2f42c18..d69d3be70e 100644
--- a/test/files/neg/bug633.check
+++ b/test/files/neg/t633.check
@@ -1,4 +1,4 @@
-bug633.scala:3: error: not found: type ListBuffer
+t633.scala:3: error: not found: type ListBuffer
def t(a : ListBuffer[String]) = {
^
one error found
diff --git a/test/files/neg/bug633.scala b/test/files/neg/t633.scala
index fd4e560720..fd4e560720 100644
--- a/test/files/neg/bug633.scala
+++ b/test/files/neg/t633.scala
diff --git a/test/files/neg/t639.check b/test/files/neg/t639.check
new file mode 100644
index 0000000000..3b53da0515
--- /dev/null
+++ b/test/files/neg/t639.check
@@ -0,0 +1,4 @@
+t639.scala:3: error: not found: object a
+import a._
+ ^
+one error found
diff --git a/test/files/neg/bug639.scala b/test/files/neg/t639.scala
index eaeed944a4..eaeed944a4 100644
--- a/test/files/neg/bug639.scala
+++ b/test/files/neg/t639.scala
diff --git a/test/files/neg/t649.check b/test/files/neg/t649.check
new file mode 100644
index 0000000000..5a270d4751
--- /dev/null
+++ b/test/files/neg/t649.check
@@ -0,0 +1,4 @@
+t649.scala:3: error: overloaded method foo needs result type
+ def foo[A] = foo[A]
+ ^
+one error found
diff --git a/test/files/neg/bug649.scala b/test/files/neg/t649.scala
index 2519eb5cf3..2519eb5cf3 100644
--- a/test/files/neg/bug649.scala
+++ b/test/files/neg/t649.scala
diff --git a/test/files/neg/bug650.check b/test/files/neg/t650.check
index 1120d68879..320ae66704 100644
--- a/test/files/neg/bug650.check
+++ b/test/files/neg/t650.check
@@ -1,4 +1,4 @@
-bug650.scala:4: error: missing type arguments
+t650.scala:4: error: missing type arguments
trait Test2 extends LinkedList;
^
one error found
diff --git a/test/files/neg/bug650.scala b/test/files/neg/t650.scala
index cdb4b3da47..cdb4b3da47 100644
--- a/test/files/neg/bug650.scala
+++ b/test/files/neg/t650.scala
diff --git a/test/files/neg/bug663.check b/test/files/neg/t663.check
index 6ae7198f0d..a790a7d70a 100644
--- a/test/files/neg/bug663.check
+++ b/test/files/neg/t663.check
@@ -1,4 +1,4 @@
-bug663.scala:11: error: name clash between defined and inherited member:
+t663.scala:11: error: name clash between defined and inherited member:
method asMatch:(m: Test.this.Node)Any and
method asMatch:(node: Test.this.Matchable)Any in trait MatchableImpl
have same type after erasure: (m: test.Test#NodeImpl)java.lang.Object
diff --git a/test/files/neg/bug663.scala b/test/files/neg/t663.scala
index 797c4a300d..797c4a300d 100644
--- a/test/files/neg/bug663.scala
+++ b/test/files/neg/t663.scala
diff --git a/test/files/neg/t664.check b/test/files/neg/t664.check
new file mode 100644
index 0000000000..43a6bea074
--- /dev/null
+++ b/test/files/neg/t664.check
@@ -0,0 +1,7 @@
+t664.scala:4: error: type Foo is not a member of test.Test with ScalaObject
+ trait Foo extends super.Foo {
+ ^
+t664.scala:5: error: type Bar is not a member of AnyRef with ScalaObject
+ trait Bar extends super.Bar;
+ ^
+two errors found
diff --git a/test/files/neg/bug664.scala b/test/files/neg/t664.scala
index f3b8d06053..f3b8d06053 100644
--- a/test/files/neg/bug664.scala
+++ b/test/files/neg/t664.scala
diff --git a/test/files/neg/bug667.check b/test/files/neg/t667.check
index 704e3178ff..d4367bc87b 100644
--- a/test/files/neg/bug667.check
+++ b/test/files/neg/t667.check
@@ -1,4 +1,4 @@
-bug667.scala:8: error: class Ni inherits itself
+t667.scala:8: error: class Ni inherits itself
class Ni extends super.Ni with Ni;
^
one error found
diff --git a/test/files/neg/bug667.scala b/test/files/neg/t667.scala
index a79bc272e4..a79bc272e4 100644
--- a/test/files/neg/bug667.scala
+++ b/test/files/neg/t667.scala
diff --git a/test/files/neg/bug668.check b/test/files/neg/t668.check
index 10be0c8d14..b057ca7936 100644
--- a/test/files/neg/bug668.check
+++ b/test/files/neg/t668.check
@@ -1,4 +1,4 @@
-bug668.scala:1: error: type Iterable takes type parameters
+t668.scala:1: error: type Iterable takes type parameters
class Test extends Iterable
^
one error found
diff --git a/test/files/neg/bug668.scala b/test/files/neg/t668.scala
index 3256037b1e..3256037b1e 100644
--- a/test/files/neg/bug668.scala
+++ b/test/files/neg/t668.scala
diff --git a/test/files/neg/bug677.check b/test/files/neg/t677.check
index 5b0bb2705f..122830a98f 100644
--- a/test/files/neg/bug677.check
+++ b/test/files/neg/t677.check
@@ -1,4 +1,4 @@
-bug677.scala:2: error: type mismatch;
+t677.scala:2: error: type mismatch;
found : () => Int
required: Nothing
val zx: Nothing = {() => 4}
diff --git a/test/files/neg/bug677.scala b/test/files/neg/t677.scala
index c65ee9640f..c65ee9640f 100644
--- a/test/files/neg/bug677.scala
+++ b/test/files/neg/t677.scala
diff --git a/test/files/neg/bug691.check b/test/files/neg/t691.check
index 47ac8c3888..77ff7b1d02 100644
--- a/test/files/neg/bug691.check
+++ b/test/files/neg/t691.check
@@ -1,4 +1,4 @@
-bug691.scala:27: error: ambiguous parent class qualifier
+t691.scala:27: error: ambiguous parent class qualifier
trait TiC extends super[Arrow].Ti2 with super[AssignArrow].Ti1;
^
one error found
diff --git a/test/files/neg/bug691.scala b/test/files/neg/t691.scala
index 233476f658..233476f658 100644
--- a/test/files/neg/bug691.scala
+++ b/test/files/neg/t691.scala
diff --git a/test/files/neg/bug692.check b/test/files/neg/t692.check
index 9e96027899..12b7d40ba5 100644
--- a/test/files/neg/bug692.check
+++ b/test/files/neg/t692.check
@@ -1,24 +1,24 @@
-bug692.scala:3: error: not found: type T
+t692.scala:3: error: not found: type T
trait Type[T0] extends Type0[T];
^
-bug692.scala:10: error: class Foo takes type parameters
+t692.scala:10: error: class Foo takes type parameters
case class FooType() extends ClassType[Foo,AnyRef](ObjectType());
^
-bug692.scala:13: error: class Foo takes type parameters
+t692.scala:13: error: class Foo takes type parameters
case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType);
^
-bug692.scala:13: error: class Foo takes type parameters
+t692.scala:13: error: class Foo takes type parameters
case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType);
^
-bug692.scala:14: error: class Foo takes type parameters
+t692.scala:14: error: class Foo takes type parameters
implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] =
^
-bug692.scala:15: error: type mismatch;
+t692.scala:15: error: type mismatch;
found : test3.this.BarType[T4]
required: test3.this.RefType[test3.this.Bar[T4]]
BarType(elem);
^
-bug692.scala:19: error: class Foo takes type parameters
+t692.scala:19: error: class Foo takes type parameters
class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo;
^
7 errors found
diff --git a/test/files/neg/bug692.scala b/test/files/neg/t692.scala
index 24e1d2fea3..24e1d2fea3 100644
--- a/test/files/neg/bug692.scala
+++ b/test/files/neg/t692.scala
diff --git a/test/files/neg/t693.check b/test/files/neg/t693.check
new file mode 100644
index 0000000000..62325b5c60
--- /dev/null
+++ b/test/files/neg/t693.check
@@ -0,0 +1,4 @@
+t693.scala:4: error: x is already defined as value x
+ val x : Int = 10;
+ ^
+one error found
diff --git a/test/files/neg/bug693.scala b/test/files/neg/t693.scala
index 3a9e6247a8..3a9e6247a8 100644
--- a/test/files/neg/bug693.scala
+++ b/test/files/neg/t693.scala
diff --git a/test/files/neg/bug696.check b/test/files/neg/t696.check
index 1ca740c211..ac26a864a5 100644
--- a/test/files/neg/bug696.check
+++ b/test/files/neg/t696.check
@@ -1,4 +1,4 @@
-bug696.scala:4: error: diverging implicit expansion for type TypeUtil0.Type[Any]
+t696.scala:4: error: diverging implicit expansion for type TypeUtil0.Type[Any]
starting with method WithType in object TypeUtil0
as[Any](null);
^
diff --git a/test/files/neg/bug696.scala b/test/files/neg/t696.scala
index a06a32141a..a06a32141a 100644
--- a/test/files/neg/bug696.scala
+++ b/test/files/neg/t696.scala
diff --git a/test/files/neg/t700.check b/test/files/neg/t700.check
new file mode 100644
index 0000000000..4c0a2e5fda
--- /dev/null
+++ b/test/files/neg/t700.check
@@ -0,0 +1,4 @@
+t700.scala:6: error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
+ def foobar: Unit = super.foobar
+ ^
+one error found
diff --git a/test/files/neg/bug700.scala b/test/files/neg/t700.scala
index b08c8b5529..b08c8b5529 100644
--- a/test/files/neg/bug700.scala
+++ b/test/files/neg/t700.scala
diff --git a/test/files/neg/bug708.check b/test/files/neg/t708.check
index cfeb01c87f..15a9c9ed93 100644
--- a/test/files/neg/bug708.check
+++ b/test/files/neg/t708.check
@@ -1,4 +1,4 @@
-bug708.scala:8: error: overriding type S in trait X with bounds >: Nothing <: A.this.T;
+t708.scala:8: error: overriding type S in trait X with bounds >: Nothing <: A.this.T;
type S has incompatible type
override private[A] type S = Any;
^
diff --git a/test/files/neg/bug708.scala b/test/files/neg/t708.scala
index f86a005811..f86a005811 100644
--- a/test/files/neg/bug708.scala
+++ b/test/files/neg/t708.scala
diff --git a/test/files/neg/bug712.check b/test/files/neg/t712.check
index 532eb4aec0..6819dc0ce9 100644
--- a/test/files/neg/bug712.check
+++ b/test/files/neg/t712.check
@@ -1,4 +1,4 @@
-bug712.scala:10: error: value self is not a member of B.this.ParentImpl
+t712.scala:10: error: value self is not a member of B.this.ParentImpl
implicit def coerce(p : ParentImpl) = p.self;
^
one error found
diff --git a/test/files/neg/bug712.scala b/test/files/neg/t712.scala
index 6f2627743f..6f2627743f 100644
--- a/test/files/neg/bug712.scala
+++ b/test/files/neg/t712.scala
diff --git a/test/files/neg/t715.check b/test/files/neg/t715.check
new file mode 100644
index 0000000000..2c01047a63
--- /dev/null
+++ b/test/files/neg/t715.check
@@ -0,0 +1,4 @@
+t715.scala:12: error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
+ override def children = super.chilren;
+ ^
+one error found
diff --git a/test/files/neg/bug715.scala b/test/files/neg/t715.scala
index 87b2525a63..87b2525a63 100644
--- a/test/files/neg/bug715.scala
+++ b/test/files/neg/t715.scala
diff --git a/test/files/neg/bug729.check b/test/files/neg/t729.check
index 0b38b9bc1d..fb858dc09a 100644
--- a/test/files/neg/bug729.check
+++ b/test/files/neg/t729.check
@@ -1,4 +1,4 @@
-bug729.scala:20: error: type mismatch;
+t729.scala:20: error: type mismatch;
found : ScalaParserAutoEdit.this.NodeImpl(in trait Parser)
required: ScalaParserAutoEdit.this.NodeImpl(in trait ScalaParserAutoEdit)
val yyy : NodeImpl = link.from;
diff --git a/test/files/neg/bug729.scala b/test/files/neg/t729.scala
index 83e7f4cd1e..83e7f4cd1e 100644
--- a/test/files/neg/bug729.scala
+++ b/test/files/neg/t729.scala
diff --git a/test/files/neg/bug752.check b/test/files/neg/t752.check
index 9262f38f01..a91bba46ea 100644
--- a/test/files/neg/bug752.check
+++ b/test/files/neg/t752.check
@@ -1,4 +1,4 @@
-bug752.scala:6: error: type mismatch;
+t752.scala:6: error: type mismatch;
found : String => Unit
required: Int => Unit
f(g _)
diff --git a/test/files/neg/bug752.scala b/test/files/neg/t752.scala
index 00f45e323c..00f45e323c 100644
--- a/test/files/neg/bug752.scala
+++ b/test/files/neg/t752.scala
diff --git a/test/files/neg/bug765.check b/test/files/neg/t765.check
index 02bd111ef7..5a5f603252 100644
--- a/test/files/neg/bug765.check
+++ b/test/files/neg/t765.check
@@ -1,4 +1,4 @@
-bug765.scala:3: error: not found: type Bar123
+t765.scala:3: error: not found: type Bar123
val bar = new Bar123
^
one error found
diff --git a/test/files/neg/bug765.scala b/test/files/neg/t765.scala
index 3e5371b533..3e5371b533 100644
--- a/test/files/neg/bug765.scala
+++ b/test/files/neg/t765.scala
diff --git a/test/files/neg/bug766.check b/test/files/neg/t766.check
index d259db6835..92039ed1ff 100644
--- a/test/files/neg/bug766.check
+++ b/test/files/neg/t766.check
@@ -1,4 +1,4 @@
-bug766.scala:5: error: not found: value badIdentifier
+t766.scala:5: error: not found: value badIdentifier
val p = badIdentifier
^
one error found
diff --git a/test/files/neg/bug766.scala b/test/files/neg/t766.scala
index b4b04d9642..b4b04d9642 100644
--- a/test/files/neg/bug766.scala
+++ b/test/files/neg/t766.scala
diff --git a/test/files/neg/bug779.check b/test/files/neg/t779.check
index 941951900e..65f463c192 100644
--- a/test/files/neg/bug779.check
+++ b/test/files/neg/t779.check
@@ -1,4 +1,4 @@
-bug779.scala:6: error: method ast has return statement; needs result type
+t779.scala:6: error: method ast has return statement; needs result type
override def ast = return null
^
one error found
diff --git a/test/files/neg/bug779.scala b/test/files/neg/t779.scala
index cc92f9062a..cc92f9062a 100644
--- a/test/files/neg/bug779.scala
+++ b/test/files/neg/t779.scala
diff --git a/test/files/neg/bug783.check b/test/files/neg/t783.check
index bf82edc843..37610a50ff 100644
--- a/test/files/neg/bug783.check
+++ b/test/files/neg/t783.check
@@ -1,4 +1,4 @@
-bug783.scala:12: error: type mismatch;
+t783.scala:12: error: type mismatch;
found : Contexts.this.Global#Template
required: Contexts.this.global.Template
globalInit0.Template(10, 20);
diff --git a/test/files/neg/bug783.scala b/test/files/neg/t783.scala
index 59f7c7f97d..59f7c7f97d 100644
--- a/test/files/neg/bug783.scala
+++ b/test/files/neg/t783.scala
diff --git a/test/files/neg/t798.check b/test/files/neg/t798.check
new file mode 100644
index 0000000000..b120f3a403
--- /dev/null
+++ b/test/files/neg/t798.check
@@ -0,0 +1,4 @@
+t798.scala:2: error: cyclic aliasing or subtyping involving type Bracks
+trait Test[Bracks <: Bracks] {
+ ^
+one error found
diff --git a/test/files/neg/bug798.scala b/test/files/neg/t798.scala
index a2bf66d19b..a2bf66d19b 100644
--- a/test/files/neg/bug798.scala
+++ b/test/files/neg/t798.scala
diff --git a/test/files/neg/t800.check b/test/files/neg/t800.check
new file mode 100644
index 0000000000..4bfba5420b
--- /dev/null
+++ b/test/files/neg/t800.check
@@ -0,0 +1,13 @@
+t800.scala:4: error: qualification is already defined as value qualification
+ val qualification = false;
+ ^
+t800.scala:8: error: method qualification is defined twice
+ val qualification = false;
+ ^
+t800.scala:12: error: value qualification is defined twice
+ var qualification = false;
+ ^
+t800.scala:16: error: method qualification is defined twice
+ var qualification = false;
+ ^
+four errors found
diff --git a/test/files/neg/bug800.scala b/test/files/neg/t800.scala
index 388574d42d..388574d42d 100644
--- a/test/files/neg/bug800.scala
+++ b/test/files/neg/t800.scala
diff --git a/test/files/neg/bug835.check b/test/files/neg/t835.check
index 79ea97b71f..6ad18d3028 100644
--- a/test/files/neg/bug835.check
+++ b/test/files/neg/t835.check
@@ -1,8 +1,8 @@
-bug835.scala:2: error: no `: _*' annotation allowed here
+t835.scala:2: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*))
^
-bug835.scala:2: error: no `: _*' annotation allowed here
+t835.scala:2: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*))
^
diff --git a/test/files/neg/bug835.scala b/test/files/neg/t835.scala
index 553d2c1be4..553d2c1be4 100644
--- a/test/files/neg/bug835.scala
+++ b/test/files/neg/t835.scala
diff --git a/test/files/neg/bug836.check b/test/files/neg/t836.check
index 4949e2cd66..be3a87882b 100644
--- a/test/files/neg/bug836.check
+++ b/test/files/neg/t836.check
@@ -1,4 +1,4 @@
-bug836.scala:9: error: type mismatch;
+t836.scala:9: error: type mismatch;
found : Any
required: A.this.S
val some: S = any // compiles => type X is set to scala.Any
diff --git a/test/files/neg/bug836.scala b/test/files/neg/t836.scala
index 3633b816c6..3633b816c6 100644
--- a/test/files/neg/bug836.scala
+++ b/test/files/neg/t836.scala
diff --git a/test/files/neg/t845.check b/test/files/neg/t845.check
new file mode 100644
index 0000000000..07ed7e417b
--- /dev/null
+++ b/test/files/neg/t845.check
@@ -0,0 +1,4 @@
+t845.scala:4: error: only classes can have declared but undefined members
+ type Bar;
+ ^
+one error found
diff --git a/test/files/neg/bug845.scala b/test/files/neg/t845.scala
index ddf6a16f32..ddf6a16f32 100644
--- a/test/files/neg/bug845.scala
+++ b/test/files/neg/t845.scala
diff --git a/test/files/neg/bug846.check b/test/files/neg/t846.check
index 9a17238c64..242a8001ff 100644
--- a/test/files/neg/bug846.check
+++ b/test/files/neg/t846.check
@@ -1,4 +1,4 @@
-bug846.scala:9: error: type mismatch;
+t846.scala:9: error: type mismatch;
found : Null(null)
required: B
if (a != null) f(a) else null
diff --git a/test/files/neg/bug846.scala b/test/files/neg/t846.scala
index acf8462030..acf8462030 100644
--- a/test/files/neg/bug846.scala
+++ b/test/files/neg/t846.scala
diff --git a/test/files/neg/bug856.check b/test/files/neg/t856.check
index 168855d6a2..d0bbde6c58 100644
--- a/test/files/neg/bug856.check
+++ b/test/files/neg/t856.check
@@ -1,4 +1,4 @@
-bug856.scala:3: error: class ComplexRect needs to be abstract, since:
+t856.scala:3: error: class ComplexRect needs to be abstract, since:
method _2 in trait Product2 of type => Double is not defined
method canEqual in trait Equals of type (that: Any)Boolean is not defined
class ComplexRect(val _1:Double, _2:Double) extends Complex {
diff --git a/test/files/neg/bug856.scala b/test/files/neg/t856.scala
index fea216bfad..fea216bfad 100644
--- a/test/files/neg/bug856.scala
+++ b/test/files/neg/t856.scala
diff --git a/test/files/neg/bug875.check b/test/files/neg/t875.check
index 16a982241e..406edcf507 100644
--- a/test/files/neg/bug875.check
+++ b/test/files/neg/t875.check
@@ -1,16 +1,16 @@
-bug875.scala:3: error: no `: _*' annotation allowed here
+t875.scala:3: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
val ys = List(1, 2, 3, xs: _*)
^
-bug875.scala:6: error: no `: _*' annotation allowed here
+t875.scala:6: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
mkList1(xs: _*)
^
-bug875.scala:15: error: no `: _*' annotation allowed here
+t875.scala:15: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
f(true, 1, xs: _*)
^
-bug875.scala:16: error: no `: _*' annotation allowed here
+t875.scala:16: error: no `: _*' annotation allowed here
(such annotations are only allowed in arguments to *-parameters)
g(1, xs:_*)
^
diff --git a/test/files/neg/bug875.scala b/test/files/neg/t875.scala
index 841b2aec3f..841b2aec3f 100644
--- a/test/files/neg/bug875.scala
+++ b/test/files/neg/t875.scala
diff --git a/test/files/neg/bug876.check b/test/files/neg/t876.check
index f72cc969c2..04c5c8f22e 100644
--- a/test/files/neg/bug876.check
+++ b/test/files/neg/t876.check
@@ -1,4 +1,4 @@
-bug876.scala:25: error: too many arguments for method apply: (key: AssertionError.A)manager.B in class HashMap
+t876.scala:25: error: too many arguments for method apply: (key: AssertionError.A)manager.B in class HashMap
assert(manager.map(A2) == List(manager.map(A2, A1)))
^
one error found
diff --git a/test/files/neg/bug876.scala b/test/files/neg/t876.scala
index 1f6a90dff3..1f6a90dff3 100644
--- a/test/files/neg/bug876.scala
+++ b/test/files/neg/t876.scala
diff --git a/test/files/neg/bug877.check b/test/files/neg/t877.check
index ddd1154698..5f25bd439c 100644
--- a/test/files/neg/bug877.check
+++ b/test/files/neg/t877.check
@@ -1,7 +1,7 @@
-bug877.scala:3: error: Invalid literal number
+t877.scala:3: error: Invalid literal number
trait Foo extends A(22A, Bug!) {}
^
-bug877.scala:3: error: parents of traits may not have parameters
+t877.scala:3: error: parents of traits may not have parameters
trait Foo extends A(22A, Bug!) {}
^
two errors found
diff --git a/test/files/neg/bug877.scala b/test/files/neg/t877.scala
index 5e132a1dd4..5e132a1dd4 100644
--- a/test/files/neg/bug877.scala
+++ b/test/files/neg/t877.scala
diff --git a/test/files/neg/t882.check b/test/files/neg/t882.check
new file mode 100644
index 0000000000..a906778a1a
--- /dev/null
+++ b/test/files/neg/t882.check
@@ -0,0 +1,4 @@
+t882.scala:2: error: traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...'
+trait SortedSet[A <% Ordered[A]] {
+ ^
+one error found
diff --git a/test/files/neg/bug882.scala b/test/files/neg/t882.scala
index 5a8908befc..5a8908befc 100644
--- a/test/files/neg/bug882.scala
+++ b/test/files/neg/t882.scala
diff --git a/test/files/neg/bug900.check b/test/files/neg/t900.check
index 95f71557b8..cede26258b 100644
--- a/test/files/neg/bug900.check
+++ b/test/files/neg/t900.check
@@ -1,4 +1,4 @@
-bug900.scala:4: error: type mismatch;
+t900.scala:4: error: type mismatch;
found : Foo.this.x.type (with underlying type Foo.this.bar)
required: AnyRef
Note that implicit conversions are not applicable because they are ambiguous:
diff --git a/test/files/neg/bug900.scala b/test/files/neg/t900.scala
index 2d2c857575..2d2c857575 100644
--- a/test/files/neg/bug900.scala
+++ b/test/files/neg/t900.scala
diff --git a/test/files/neg/t908.check b/test/files/neg/t908.check
new file mode 100644
index 0000000000..2c723a700b
--- /dev/null
+++ b/test/files/neg/t908.check
@@ -0,0 +1,4 @@
+t908.scala:8: error: not found: value makeA
+ this(makeA)
+ ^
+one error found
diff --git a/test/files/neg/bug908.scala b/test/files/neg/t908.scala
index 97f3c50586..97f3c50586 100644
--- a/test/files/neg/bug908.scala
+++ b/test/files/neg/t908.scala
diff --git a/test/files/neg/bug909.check b/test/files/neg/t909.check
index 6dbe8aa024..5138b8c507 100644
--- a/test/files/neg/bug909.check
+++ b/test/files/neg/t909.check
@@ -1,4 +1,4 @@
-bug909.scala:6: error: type mismatch;
+t909.scala:6: error: type mismatch;
found : java.lang.String("Hello")
required: Int
case Foo("Hello") =>
diff --git a/test/files/neg/bug909.scala b/test/files/neg/t909.scala
index cd67042e02..cd67042e02 100644
--- a/test/files/neg/bug909.scala
+++ b/test/files/neg/t909.scala
diff --git a/test/files/neg/bug910.check b/test/files/neg/t910.check
index 1a845db9b9..45420f8e35 100644
--- a/test/files/neg/bug910.check
+++ b/test/files/neg/t910.check
@@ -1,4 +1,4 @@
-bug910.scala:4: error: type mismatch;
+t910.scala:4: error: type mismatch;
found : Seq[Char]
required: Seq[Int]
val y: Seq[Int] = rest
diff --git a/test/files/neg/bug910.scala b/test/files/neg/t910.scala
index cc47104d14..cc47104d14 100644
--- a/test/files/neg/bug910.scala
+++ b/test/files/neg/t910.scala
diff --git a/test/files/neg/t935.check b/test/files/neg/t935.check
new file mode 100644
index 0000000000..af634a2630
--- /dev/null
+++ b/test/files/neg/t935.check
@@ -0,0 +1,7 @@
+t935.scala:7: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String]
+ @E[B](new B) val b = "hi"
+ ^
+t935.scala:13: error: type arguments [Test4.B] do not conform to class E's type parameter bounds [T <: String]
+ val b: String @E[B](new B) = "hi"
+ ^
+two errors found
diff --git a/test/files/neg/bug935.scala b/test/files/neg/t935.scala
index 299062adb8..299062adb8 100644
--- a/test/files/neg/bug935.scala
+++ b/test/files/neg/t935.scala
diff --git a/test/files/neg/t944.check b/test/files/neg/t944.check
new file mode 100644
index 0000000000..1fc0a12208
--- /dev/null
+++ b/test/files/neg/t944.check
@@ -0,0 +1,4 @@
+t944.scala:5: error: implementation restricts functions to 22 parameters
+ a23:Int) => 1
+ ^
+one error found
diff --git a/test/files/neg/bug944.scala b/test/files/neg/t944.scala
index dc80e5f49f..dc80e5f49f 100644
--- a/test/files/neg/bug944.scala
+++ b/test/files/neg/t944.scala
diff --git a/test/files/neg/bug960.check b/test/files/neg/t960.check
index ebfc3c6638..d65b0cea93 100644
--- a/test/files/neg/bug960.check
+++ b/test/files/neg/t960.check
@@ -1,10 +1,10 @@
-bug960.scala:18: error: ambiguous reference to overloaded definition,
+t960.scala:18: error: ambiguous reference to overloaded definition,
both method unapply in object List of type [a](xs: List[a])Option[Null]
and method unapply in object List of type [a](xs: List[a])Option[(a, List[a])]
match argument types (List[a])
case List(x, xs) => 7
^
-bug960.scala:12: error: method unapply is defined twice
+t960.scala:12: error: method unapply is defined twice
def unapply[a](xs: List[a]): Option[Null] = xs match {
^
two errors found
diff --git a/test/files/neg/bug960.scala b/test/files/neg/t960.scala
index 5101cf8433..5101cf8433 100644
--- a/test/files/neg/bug960.scala
+++ b/test/files/neg/t960.scala
diff --git a/test/files/neg/t961.check b/test/files/neg/t961.check
new file mode 100644
index 0000000000..48273f764d
--- /dev/null
+++ b/test/files/neg/t961.check
@@ -0,0 +1,4 @@
+t961.scala:11: error: object Temp.B does not take parameters
+ B() match {
+ ^
+one error found
diff --git a/test/files/neg/bug961.scala b/test/files/neg/t961.scala
index 088bddd7ee..088bddd7ee 100644
--- a/test/files/neg/bug961.scala
+++ b/test/files/neg/t961.scala
diff --git a/test/files/neg/bug987.check b/test/files/neg/t987.check
index 4cad622ab8..90ab70ba1c 100644
--- a/test/files/neg/bug987.check
+++ b/test/files/neg/t987.check
@@ -1,19 +1,19 @@
-bug987.scala:15: error: illegal inheritance;
+t987.scala:15: error: illegal inheritance;
class E inherits different type instances of trait B:
B[D] and B[C]
class E extends D
^
-bug987.scala:20: error: illegal inheritance;
+t987.scala:20: error: illegal inheritance;
class F inherits different type instances of trait B:
B[D] and B[C]
class F extends D
^
-bug987.scala:25: error: illegal inheritance;
+t987.scala:25: error: illegal inheritance;
class D inherits different type instances of trait B:
B[D] and B[C]
abstract class D extends C with B[D] {}
^
-bug987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]]
+t987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]]
abstract class D extends C with B[D] {}
^
four errors found
diff --git a/test/files/neg/bug987.scala b/test/files/neg/t987.scala
index 1fedf12ebc..1fedf12ebc 100644
--- a/test/files/neg/bug987.scala
+++ b/test/files/neg/t987.scala
diff --git a/test/files/neg/bug997.check b/test/files/neg/t997.check
index 44e383228d..c9fe0de756 100644
--- a/test/files/neg/bug997.check
+++ b/test/files/neg/t997.check
@@ -1,13 +1,13 @@
-bug997.scala:7: error: wrong number of arguments for object Foo
+t997.scala:7: error: wrong number of arguments for object Foo
"x" match { case Foo(a) => Console.println(a) }
^
-bug997.scala:7: error: not found: value a
+t997.scala:7: error: not found: value a
"x" match { case Foo(a) => Console.println(a) }
^
-bug997.scala:13: error: wrong number of arguments for object Foo
+t997.scala:13: error: wrong number of arguments for object Foo
"x" match { case Foo(a, b, c) => Console.println((a,b,c)) }
^
-bug997.scala:13: error: not found: value a
+t997.scala:13: error: not found: value a
"x" match { case Foo(a, b, c) => Console.println((a,b,c)) }
^
four errors found
diff --git a/test/files/neg/bug997.scala b/test/files/neg/t997.scala
index 42b46174d6..42b46174d6 100644
--- a/test/files/neg/bug997.scala
+++ b/test/files/neg/t997.scala
diff --git a/test/files/neg/tcpoly_override.scala b/test/files/neg/tcpoly_override.scala
index 7f64ad0d5f..dd043b47ed 100644
--- a/test/files/neg/tcpoly_override.scala
+++ b/test/files/neg/tcpoly_override.scala
@@ -1,4 +1,4 @@
-// bug1231: reported by Vladimir Reshetnikov on 19 July 2007
+// t1231: reported by Vladimir Reshetnikov on 19 July 2007
trait A {
type T[_]
}