diff --git a/compiler/test/dotty/tools/dotc/CompilationTests.scala b/compiler/test/dotty/tools/dotc/CompilationTests.scala
index 2b786bea20c4..982a036b9b39 100644
--- a/compiler/test/dotty/tools/dotc/CompilationTests.scala
+++ b/compiler/test/dotty/tools/dotc/CompilationTests.scala
@@ -167,6 +167,11 @@ class CompilationTests extends ParallelTesting {
     compileFile("tests/neg-custom-args/repeatedArgs213.scala", defaultOptions.and("-Ynew-collections"))
   }.checkExpectedErrors()
 
+  @Test def fuzzyAll: Unit = {
+    implicit val testGroup: TestGroup = TestGroup("compileFuzzy")
+    compileFilesInDir("tests/fuzzy", defaultOptions)
+  }.checkNoCrash()
+
   // Run tests -----------------------------------------------------------------
 
   @Test def runAll: Unit = {
diff --git a/compiler/test/dotty/tools/vulpix/ParallelTesting.scala b/compiler/test/dotty/tools/vulpix/ParallelTesting.scala
index 3a2533c06a6f..1a1621f1476a 100644
--- a/compiler/test/dotty/tools/vulpix/ParallelTesting.scala
+++ b/compiler/test/dotty/tools/vulpix/ParallelTesting.scala
@@ -813,6 +813,32 @@ trait ParallelTesting extends RunnerOrchestration { self =>
     }
   }
 
+  private final class NoCrashTest(testSources: List[TestSource], times: Int, threadLimit: Option[Int], suppressAllOutput: Boolean)(implicit summaryReport: SummaryReporting)
+    extends Test(testSources, times, threadLimit, suppressAllOutput) {
+    protected def encapsulatedCompilation(testSource: TestSource) = new LoggedRunnable {
+      def checkTestSource(): Unit = tryCompile(testSource) {
+        def fail(msg: String): Nothing = {
+          echo(msg)
+          failTestSource(testSource)
+          ???
+        }
+        testSource match {
+          case testSource@JointCompilationSource(_, files, flags, outDir, fromTasty, decompilation) =>
+            val sourceFiles = testSource.sourceFiles
+            val reporter =
+              try compile(sourceFiles, flags, true, outDir)
+              catch {
+                case ex: Throwable => fail(s"Fatal compiler crash when compiling: ${testSource.title}")
+              }
+            if (reporter.compilerCrashed)
+              fail(s"Compiler crashed when compiling: ${testSource.title}")
+          case testSource@SeparateCompilationSource(_, dir, flags, outDir) => unsupported("NoCrashTest - SeparateCompilationSource")
+        }
+        registerCompletion()
+      }
+    }
+  }
+
   /** The `CompilationTest` is the main interface to `ParallelTesting`, it
    *  can be instantiated via one of the following methods:
    *
@@ -994,6 +1020,19 @@ trait ParallelTesting extends RunnerOrchestration { self =>
       this
     }
 
+    /** Creates a "fuzzy" test run, which makes sure that each test compiles (or not) without crashing */
+    def checkNoCrash()(implicit summaryReport: SummaryReporting): this.type = {
+      val test = new NoCrashTest(targets, times, threadLimit, shouldSuppressOutput).executeTestSuite()
+
+      cleanup()
+
+      if (test.didFail) {
+        fail("Neg test should have failed, but did not")
+      }
+
+      this
+    }
+
     /** Creates a "run" test run, which is a superset of "pos". In addition to
      *  making sure that all tests pass compilation and that they do not crash
      *  the compiler; it also makes sure that all tests can run with the
diff --git a/tests/fuzzy/015ea9cf2d07b27200a33c4451bfc4c93afe213e.scala b/tests/fuzzy/015ea9cf2d07b27200a33c4451bfc4c93afe213e.scala
new file mode 100644
index 000000000000..e9f92773671a
--- /dev/null
+++ b/tests/fuzzy/015ea9cf2d07b27200a33c4451bfc4c93afe213e.scala
@@ -0,0 +1,29 @@
+class i0 {
+type Int;
+val i1 = 2
+private val i2 = (List(): List[Int])
+import i1.{ () => Double(_)).asInstanceOf[i2]) } else new i0(1)
+List(List(1), None)
+println(i1(17))
+new _
+collect i1 :: 2
+}
+object package {
+val i5 = scala { object false => } { class i2; 0 }
+}
+def i9(i8: String) = {}
+def Throwable
+trait i11
+abstract class i1 {
+override implicit def i2(i3: i0.i1) =  match {
+case i4(i5) => 1
+case _ => Console.println() }
+}
+}
+}
+trait i7[i10 <: i0, i8 <: i0, i12, i13, i16, i12] {
+@Seq[i1] => (i2, main)
+type i14[i1, i16 <: i4, <: i62, i18, i9, i18, i19, i20, i13, i19, i19, i14,, i20, 'i18, i14, i10),
+i77, 9, i14, i15, i16, i17, i19, i20, [Boolean, i20]): i2[i2] = sys.error()
+val i17 = i5[Int](1, )
+}
\ No newline at end of file
diff --git a/tests/fuzzy/028127de3ac8c2ee6ccde25072d765581dbd06f9.scala b/tests/fuzzy/028127de3ac8c2ee6ccde25072d765581dbd06f9.scala
new file mode 100644
index 000000000000..58f984cf61da
--- /dev/null
+++ b/tests/fuzzy/028127de3ac8c2ee6ccde25072d765581dbd06f9.scala
@@ -0,0 +1,27 @@
+package i0
+package i1
+import scala.language.i1
+class i2[i3] {
+def i4(i5: i3): i4[i5] = null
+}
+class i8 {
+trait i1[i2]
+implicit def i6[i7[_]](i8: i0[i3]): i6[i5] = new i7[i9] {
+override def i8[i2](i9: i7): i7[i2] = new i5[i3]
+def map = i10
+}
+class i12 extends i1[String] {
+def i10(i4: String) = i11(i13, i9)
+}
+trait i11[i4] {
+def i19[i17[_]](i4: i15): i11[Boolean] = i12
+def i13[i14[_]](i12: i7[i10], i10: i9[i6]): Unit = ({
+val i12 = 1
+i1[i10[String]](_
+abstract class i1(i2: Int, i3: Int)
+class i6() {
+def i2(i5: Any) = i3 match {
+case (i3: Int, i4: Int) => i3 + i2 i3 1
+case _ => case i4 =>
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/048e0594728ea7cdff7497c4e90bf702f220b206.scala b/tests/fuzzy/048e0594728ea7cdff7497c4e90bf702f220b206.scala
new file mode 100644
index 000000000000..9447faa338f8
--- /dev/null
+++ b/tests/fuzzy/048e0594728ea7cdff7497c4e90bf702f220b206.scala
@@ -0,0 +1,19 @@
+class i0[@specialized i1] {
+def i2[i3[_]](i4: i1 => i3[Nothing]): i2[Int] = ???
+implicit def i5[i2](i6: i0[i1, i2]) = ???
+implicit def i5(implicit i3: i1[Int]): String => String = {
+val i6: i2 = new i0[Int] { def i7(i5: Int) = 0 }
+val i1 = i2 == i2 match { case i1[i2](i3, i6) =>
+def this(i6: Array[String]) = i3 _
+}
+}
+trait i7 { type i5 }
+trait i6 extends i5 { type i6 = i4 }
+val i7: i3 & i1 = new i1 { type i2 = String }
+val i8: String = i6
+val i9: i1
+final val i11: i3 = ???
+implicit def i10(i11: i0[Int, Int]): Unit = {
+List(1).asInstanceOf[toString])
+println(new i0[Int]())
+}
\ No newline at end of file
diff --git a/tests/fuzzy/06abe47b5828fec1c1975aae63202b4f93cf0bac.scala b/tests/fuzzy/06abe47b5828fec1c1975aae63202b4f93cf0bac.scala
new file mode 100644
index 000000000000..ce3e708a00d9
--- /dev/null
+++ b/tests/fuzzy/06abe47b5828fec1c1975aae63202b4f93cf0bac.scala
@@ -0,0 +1,6 @@
+object i0 {
+def i1(i2: Int): Unit = {
+def i3(): Unit = {
+def this() = this(0);
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/14b960e57195554a6a085eae8e039a949e8b106d.scala b/tests/fuzzy/14b960e57195554a6a085eae8e039a949e8b106d.scala
new file mode 100644
index 000000000000..96e0aade993e
--- /dev/null
+++ b/tests/fuzzy/14b960e57195554a6a085eae8e039a949e8b106d.scala
@@ -0,0 +1,7 @@
+class i0 {
+val i1: (Any => String) = ???
+}
+object i0 {
+import Ordering.{ implicitly => } (true: Boolean) match { case _: i1 => true }
+def i1(erased i2: Int): Int = { i1: Set[Int] => }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/1d1f57703bbd37dd850480cb5d99130930be08c9.scala b/tests/fuzzy/1d1f57703bbd37dd850480cb5d99130930be08c9.scala
new file mode 100644
index 000000000000..ccfcbef33a65
--- /dev/null
+++ b/tests/fuzzy/1d1f57703bbd37dd850480cb5d99130930be08c9.scala
@@ -0,0 +1,17 @@
+object App {
+import i0.{ i1 => false }
+def Array(i0: Int => Boolean): Any = ???
+}
+object i2 {
+for (i1 <- i2) i2 match {
+case Some(i3) => ??? case i1(_)) => i2
+}
+val i7: i3 {type i1 = i1; val
+) println(i10 + 1) < 96: (List, [Int]) def i13[i12] => Array[try <: i0](i12: Int, i12: => Option[i1]
+): Int = (i14: Int) =>
+i2(i4)
+def i17[i12](i16: => String): List[i10] = i2
+def i14[@specialized i4: Option[Any], i8 > k943[assert, Object](i23 Array[Int]) = (i13)i12).isInstanceOf[i3])
+implicit def apply[i14[_], i14,i19](i11: i0[i1[new, Int]): Option[i5] = i11 += i11
+val i16 = i12
+}
\ No newline at end of file
diff --git a/tests/fuzzy/1e3ef21bb17fbe13bf3beaf13a18ca382b52a469.scala b/tests/fuzzy/1e3ef21bb17fbe13bf3beaf13a18ca382b52a469.scala
new file mode 100644
index 000000000000..727772a7f98e
--- /dev/null
+++ b/tests/fuzzy/1e3ef21bb17fbe13bf3beaf13a18ca382b52a469.scala
@@ -0,0 +1,18 @@
+object i0 {
+type i1 = Int val i2: Int = { i2: Int => }
+def i3(i4: Int => String) = i4 match { case i3 => () })
+trait i5
+trait i6
+trait i7
+implicit def i5: Unit | ((_: String): Int) = ()
+val i6 = i2()
+val i5: i4.i2 = i4.i1[Nothing]
+println()
+println()
+trait i3 extends i2 {
+type i2 = i3
+class i4
+}
+trait i3 extends i0 {
+def i1 = classOf
+class i1(i0: Int) extends i2(i2)
\ No newline at end of file
diff --git a/tests/fuzzy/28752b8fb9b6db06fff4c606c3a402dc12b0ee06.scala b/tests/fuzzy/28752b8fb9b6db06fff4c606c3a402dc12b0ee06.scala
new file mode 100644
index 000000000000..b2fb1e0ac04e
--- /dev/null
+++ b/tests/fuzzy/28752b8fb9b6db06fff4c606c3a402dc12b0ee06.scala
@@ -0,0 +1,12 @@
+class i0[i1] {
+def i2[i3[_], i4](i5: i1[i2], i6: i0[i4]): i4[i2] = i4
+}
+object i7 {
+val i8: i0[Int] = classOf[Nothing, _ with i5]()
+}
+object i9 {
+def i10[i10](i11: i12[i2]): i1[i2] = new i1[i2] {}
+def i15[i15](i11: i7[i13.i1]): i1[i2] = i15 match {
+case i15 :: i7 => i10 _ val i17: Symbol = ???
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/2bd7cd0e80b641fa33d269c737c79e9d38f3bd64.scala b/tests/fuzzy/2bd7cd0e80b641fa33d269c737c79e9d38f3bd64.scala
new file mode 100644
index 000000000000..9e8fd091821d
--- /dev/null
+++ b/tests/fuzzy/2bd7cd0e80b641fa33d269c737c79e9d38f3bd64.scala
@@ -0,0 +1,13 @@
+case class i0(i1: String, i2: String, i3: String)
+class i4(i3: Int) extends i0({ val i1 = new { val i1 = Int; var i3: Int =
+if (i2 == 0) {
+val i4 = new i0
+def i5 = sys.error("")
+def i6(i7: Int*) = i7 i4 i3 i4 i7 match {
+case i6(_) => 1
+case i4: i3 => i5.toString
+def this(i5: Int) = i3 * i4
+}
+def this(i6: Int) = { this(new { def i7 = 0; println(); i3 }
+def i6 = { object i7 { 5 + 4 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/31fe0d61224c99962a43598263b06c0435aae202.scala b/tests/fuzzy/31fe0d61224c99962a43598263b06c0435aae202.scala
new file mode 100644
index 000000000000..19c8dc750f4f
--- /dev/null
+++ b/tests/fuzzy/31fe0d61224c99962a43598263b06c0435aae202.scala
@@ -0,0 +1,12 @@
+trait i0[i1] { def i2: Int }
+class i3 {
+def i4[i1[_]]: i1[i3] = new i1[Int] {}
+def i5[i6](i7: i6): i3[i1, i6] = ???
+def i8 = new i3.i9()
+}
+class i2 extends i0[Nothing] {
+def i15: Option[(i11 i1]) => String = i13 match {
+case i3(i1(i11) => i11)
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/34d778fcc0ad3dccec0fa7b83b3333868bda8251.scala b/tests/fuzzy/34d778fcc0ad3dccec0fa7b83b3333868bda8251.scala
new file mode 100644
index 000000000000..9cb3ec8270d4
--- /dev/null
+++ b/tests/fuzzy/34d778fcc0ad3dccec0fa7b83b3333868bda8251.scala
@@ -0,0 +1,10 @@
+abstract class i0 {
+type i1
+type i2 <: i1
+type i3 <: i4 {
+type i2 = i3
+val i5 = new i3
+val i6 = new i2
+val i7 = new i3
+val i6 = i5 _
+}
\ No newline at end of file
diff --git a/tests/fuzzy/35089d35a316726b914741884113b859aa6bfeb5.scala b/tests/fuzzy/35089d35a316726b914741884113b859aa6bfeb5.scala
new file mode 100644
index 000000000000..9f5e9cfde2d4
--- /dev/null
+++ b/tests/fuzzy/35089d35a316726b914741884113b859aa6bfeb5.scala
@@ -0,0 +1,7 @@
+abstract class i0[i1 <: Nothing] {
+def +(i2: String) = {
+def this() = this(0)
+}
+object i3 {
+def apply[i2](i3: i2) = new i0("")
+}
\ No newline at end of file
diff --git a/tests/fuzzy/366525577470a6e3ecac0b77b1dcdc58405156ed.scala b/tests/fuzzy/366525577470a6e3ecac0b77b1dcdc58405156ed.scala
new file mode 100644
index 000000000000..3b3af576a515
--- /dev/null
+++ b/tests/fuzzy/366525577470a6e3ecac0b77b1dcdc58405156ed.scala
@@ -0,0 +1,9 @@
+object i0 {
+type i1 = Array { def i2 = this }
+def main(i3: Array[String]): Unit = {
+println();
+trait i4 extends i2 with i0 {
+def i5: i0 = i1;
+class i6(i7: i3) { () =>
+i6 foreach { case _: i0.i3 => implicitly[i0] })("i2 " this })
+}
\ No newline at end of file
diff --git a/tests/fuzzy/36e924e6d37279c86a4420f3a80810e419bd31dd.scala b/tests/fuzzy/36e924e6d37279c86a4420f3a80810e419bd31dd.scala
new file mode 100644
index 000000000000..9eef756d4a03
--- /dev/null
+++ b/tests/fuzzy/36e924e6d37279c86a4420f3a80810e419bd31dd.scala
@@ -0,0 +1,18 @@
+object i0 {
+def i1[i2, +i3] = ()
+def this(i4: Int = i1 => Int => () == new Any with i3(i4) + 0
+def i5[i4](i6: i4) = i6
+def i8(i9: Int) = i10(1)
+i5(new i1()
+def i13[i4](i11: i2 => i1): Unit
+def i9(i10: i0): i6[String, String] =
+val i9(i10: List[i1]): Int = (1, i10)
+def i10(i11: Int) = i23(i13)
+def i10[i4](i5: i9[i10, i12]): i1[Int] = { Some(i9" i11 i6 this 12).collect.i32(1 i31(i2 i11)) i12 else () }
+trait i11[i15[_]]
+object i10 { def unapply[i11](i2: => Option => String): Option[i7] }
+class i10 extends i3(i6 + i9) lazy map { case _: i9 => () } new i5[String]
+def i14(i15: Int): String = i13.toString
+}
+val i11: i0 = new i9("")
+}
\ No newline at end of file
diff --git a/tests/fuzzy/3760adc72d035a66641c59926dcfa5e2130479a4.scala b/tests/fuzzy/3760adc72d035a66641c59926dcfa5e2130479a4.scala
new file mode 100644
index 000000000000..1b2e68296162
--- /dev/null
+++ b/tests/fuzzy/3760adc72d035a66641c59926dcfa5e2130479a4.scala
@@ -0,0 +1,5 @@
+object i0 {
+def i1(i2: Any, i3: Any, i4: Any => Any) = (i5, i4)
+def i6(i5: List[Int]): Int = i6 match {
+case _: String @_*i6 match { case _: i7.type
+8
\ No newline at end of file
diff --git a/tests/fuzzy/37e5de7d6a0fa8cc9123fd570d9fd82d1fc5767f.scala b/tests/fuzzy/37e5de7d6a0fa8cc9123fd570d9fd82d1fc5767f.scala
new file mode 100644
index 000000000000..9eadc90e3236
--- /dev/null
+++ b/tests/fuzzy/37e5de7d6a0fa8cc9123fd570d9fd82d1fc5767f.scala
@@ -0,0 +1,4 @@
+object App {
+def this(i0: Int = 100) = {
+val i1: i0 = 1; case _ => i2(i1) }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/39bf335240b828efaa825fa242422f0eaa6d7ca2.scala b/tests/fuzzy/39bf335240b828efaa825fa242422f0eaa6d7ca2.scala
new file mode 100644
index 000000000000..f5c2fdfdaff1
--- /dev/null
+++ b/tests/fuzzy/39bf335240b828efaa825fa242422f0eaa6d7ca2.scala
@@ -0,0 +1,17 @@
+object i0 {
+type i1 = (=> Int) | (2 => i2)("i3 i4{i5} i6 = i4;
+case (i4, i5) => ()
+i6
+} def main(i4: Array[String]): Unit = {
+val i5 =  * i6
+i5
+} else
+i6
+}
+})
+object i7 {
+import i0.{ classTag, i3 } & (2 -> filter*) }
+def i7(i2: Int): i0
+val i5 = _
+i7 = i0
+})
\ No newline at end of file
diff --git a/tests/fuzzy/3cd12b064ca064177c035ef58d3a9cbe90980d7e.scala b/tests/fuzzy/3cd12b064ca064177c035ef58d3a9cbe90980d7e.scala
new file mode 100644
index 000000000000..071639a03c0d
--- /dev/null
+++ b/tests/fuzzy/3cd12b064ca064177c035ef58d3a9cbe90980d7e.scala
@@ -0,0 +1,24 @@
+object i0 {
+def i1 = 2
+}
+trait i2 extends AnyRef {
+private object i2 extends i0
+trait i1 {
+private def i2: Int = 1 implicitly[Int]
+}
+} final type i3 {
+new implicitly[i0, i4]
+type i5 = (i5: i0[Int, Nil[i2]], i4: String): Stream[i1 <: Nil] => i2[i0]
+}
+val i5 = {
+implicitly["": i5 with AnyVal] { (i5: Int
+object i0 {
+def scala[i1](i2: i3.RuntimeException) = {
+def this() = this() }
+implicit lazy val i4: String =}[i1] {
+def i5: Unit =
+i4() match { case i3 => 0.map() = this match {
+case _ =>
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/3dc1e1bf0f5e40363aa99c84a83373a713009d44.scala b/tests/fuzzy/3dc1e1bf0f5e40363aa99c84a83373a713009d44.scala
new file mode 100644
index 000000000000..d0f7b5006207
--- /dev/null
+++ b/tests/fuzzy/3dc1e1bf0f5e40363aa99c84a83373a713009d44.scala
@@ -0,0 +1,83 @@
+class i0 {
+implicit def i1(i2: Int): Unit =
+i2 match {
+case _ => println()
+case
+==[Int] val i13 = 'i2
+def i10: String = i16
+val i15 = new i11 implicitly[String] { def i6: Any = this }
+trait i14 extends i1 {
+def i14: Int = {
+println()
+trait i18 {
+type i2 <: i1;
+def i3: i1 = i5;
+}
+abstract class i4 {
+var i9 = new i6.i1
+}
+def i2 = new i1 {
+type i2 = Int
+var i9: i1 = this
+}
+trait i7 extends i4 {
+val i5: i1
+val i9 = i7
+}
+object i10 extends i8 {
+type i1 = i2
+type i7 = i1 }
+def i9(i11: i17): Unit = ???
+def i10(i6: String): Unit = {
+def i10: i6 = null
+implicit def i10(i5: i3): String = ???
+def i11: i6 = ???
+val i12: i2 = ???
+}
+class i12 extends i1 {
+type i2 = i1.i2
+}
+trait i16 extends i1 {
+type i2 <: i1
+}
+class i3 extends i1 {
+protected def i2 =  classOf[i1]
+}
+val i10: i1#i2 = ???
+implicit def i11: i0 = ???
+}
+class i18 extends i1 {
+type i2 <: i1;
+var i9: i6 = new i6;
+}
+class i9 extends i3 {
+type i1 = i13.i4
+def i10(i11: i3) = ???
+def i10(i11: i4) = i11.i5(i12.i7()
+}
+object i16 extends i6 {
+def i7(i11: List[List[i12]]): Unit = {
+val i9 = i3
+val i11: i13.i1.i4 = i7()
+case _ =>
+}
+}
+trait i10 {
+def apply(i15: Int) = i10 _
+}
+class i14 {
+var i12: Int = 1
+}
+new i1 {
+type i2 = i4 {
+def i3(i9: i7): Unit = i11 {
+case i1(false) | i3.i1 => i1(i11.head
+i11
+val i17: i1 => Any = i11
+val i16 = i13.asInstanceOf[Int]
+super.i12 val i10: i1.i1.this.i1 = i11.asInstanceOf[Array.i17.toString
+}
+object i18 {
+def apply(i11: i2): Unit = i11.i5(i14: i16)
+}
+class i14 extends i1 with i0
\ No newline at end of file
diff --git a/tests/fuzzy/3e54d491b47b3dc8034b4d16f4389554a09b94ba.scala b/tests/fuzzy/3e54d491b47b3dc8034b4d16f4389554a09b94ba.scala
new file mode 100644
index 000000000000..05a49ec09e0f
--- /dev/null
+++ b/tests/fuzzy/3e54d491b47b3dc8034b4d16f4389554a09b94ba.scala
@@ -0,0 +1,20 @@
+trait i0 {
+type Nil
+abstract class i1 {
+type i2
+implicit def i0(i3: i1): List[i1] = ???
+}
+}
+implicit protected[i1] extends main[implicit].annotation.i5.i6
+}
+}
+class for[i1[i2]]
+object i0 {
+class i6[i4]() extends this
+protected[i2]
+}
+object i2 extends i1[Double] {
+if (i5 <- { map(5[i2], i4.i6.Any = 2) Product {(i5, Int, 3})#i6[i3, i8]#i5]; i10 }
+object i1 {
+erased def i2(i15: Long) = i10.protected
+i9(i9, i9) }
\ No newline at end of file
diff --git a/tests/fuzzy/3eb86ec97c34b609dcc13323ddd05f669ea91288.scala b/tests/fuzzy/3eb86ec97c34b609dcc13323ddd05f669ea91288.scala
new file mode 100644
index 000000000000..bf92cb5dae2b
--- /dev/null
+++ b/tests/fuzzy/3eb86ec97c34b609dcc13323ddd05f669ea91288.scala
@@ -0,0 +1,3 @@
+object i0 {
+val i1 = (List(1, 2,2,3), 0) implicit def (<: scala, Int, Int, Int) @ (String if (i1, i2) => 13)
+val i3: (i1 { val i2 = i1; def i4: i0.type = i3; i4 { _ => i3; case _ => i2 def i5 = i1; i3 => (i2, i4) }
\ No newline at end of file
diff --git a/tests/fuzzy/402dda87200c7401f8a82626928c5dbb7a50bb79.scala b/tests/fuzzy/402dda87200c7401f8a82626928c5dbb7a50bb79.scala
new file mode 100644
index 000000000000..55731c369338
--- /dev/null
+++ b/tests/fuzzy/402dda87200c7401f8a82626928c5dbb7a50bb79.scala
@@ -0,0 +1,63 @@
+class i0 {
+trait i1 {
+def i2: List[i3] = Nil
+}
+}
+package i3 {
+class i4 {
+import i0.i3.i2.i3.i5
+abstract class i4 extends super.i3 with i2
+}
+}
+object i5 {
+def i6(i7: i0): AnyRef = ???
+abstract class i7(val i8: Int)
+class i9 extends i3 {
+type i1 <: i1 {
+type i2 = i7
+}
+def i7: i1 with i2 {
+type i9 = Int
+var i10: Int = i1
+}
+def i1 = List(null)
+def i10() = 4
+}
+class i2 extends i0 {
+abstract override def i1 = List()
+def i10(i8: i3) = sys.error
+0
+type i11 <: i13.i12 type i17 })
+trait i10 extends i2 {
+type i6 <: i3
+def i5: i3
+}
+trait i9 extends i4 {
+type i5 <: i1;
+def i9: i6 = null;
+var i2 = new i2
+}
+object i9 extends i8
+class i9 extends i7 class i8 extends i3 {
+def i10 = i4.i6
+}
+object i1 {
+implicit def i2(): Unit = new i1 val i21 = new i1 val i22 {} = i9
+}
+trait i6 extends i2 {
+type i3 <: Symbol
+val i10: i1
+}
+object i10 extends i0 {
+override def i14: Int = 1
+}
+class i5 {
+val i9: i2 = ???
+def i10(i4: i6): i1 = ???
+}
+class i3 {
+var i10: i0 = new i6[i1]()
+val i8 = new i2
+val i9 = new i1
+println()
+}
\ No newline at end of file
diff --git a/tests/fuzzy/44131e7b1cdc0192d39471ad01e2045991ec48b4.scala b/tests/fuzzy/44131e7b1cdc0192d39471ad01e2045991ec48b4.scala
new file mode 100644
index 000000000000..117589fa85b5
--- /dev/null
+++ b/tests/fuzzy/44131e7b1cdc0192d39471ad01e2045991ec48b4.scala
@@ -0,0 +1,11 @@
+trait i0 {
+type Double = String
+val i1: String = ""
+}
+object i2 extends i0 {
+def i1: Unit = {
+val i3: List[Int] = (i5, (Array[Any]))
+def this() = {
+this();
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/471d33abf565d5dd3691679237f148638f4ff115.scala b/tests/fuzzy/471d33abf565d5dd3691679237f148638f4ff115.scala
new file mode 100644
index 000000000000..ac1454aaf04c
--- /dev/null
+++ b/tests/fuzzy/471d33abf565d5dd3691679237f148638f4ff115.scala
@@ -0,0 +1,53 @@
+package i0
+import language.dynamics
+class i1 {
+protected[i2]
+def toString: String = ???
+}
+@inline.i3
+def i4(i5: Int): Any = ???
+}
+implicit def i8[i9](i10: i8): Unit = ()
+def i11 = i1[i2](i3)
+implicit def i11[i2](i13: i1[i2]): i6 = new i6[Int] {}
+class i11 extends i4[Int] {
+override protected def i10[i11[_]](i2: i3[i1], i12: i14 <: i12) = (i11 <= i6)
+val i16 = i13(new i10[Int]())
+def i15[i14, i16[i16]](i4: i11): i11[i7] = i10(i5, i16)
+}
+class i12[i8](var i13: i9[_]) extends i0[i9](i10) with i7[Int]
+final val i11 = i16.map(i10: i17) = new i15(i10); val i16: i7[i2] = new i1[i8];
+val i15: i12[i6] = new i1[i2];
+trait i11 { case class i12(i4: Int) extends AnyVal {
+def i10(i2: i4): i3 = new i4(i5)
+}
+object i10 {
+def main(i12: Array[String]): Unit = {
+val i10: Array[String] = null
+var i2 = _
+def i3(i2: Int) = i2
+}
+object i0 {
+def main(i10: Array[String]): Unit = {
+val i6: i3[Int, Int] = null
+def i7(i2: => Int, i3: Int) = (i11 @ i4) match {
+case i11 => i13.head
+object i0 {
+implicit def i1(i2: Int = 12) = { val i3 = new i2.i4 }
+val i5 = {
+val i6 = 0
+lazy val i7 = classOf val i7: Int = 4
+var i5: Int = 4
+val i6: Int = 4
+case class i7(i5: Int) {
+private var i2 = false
+private def i3 = 1000 * 60 * 24 * i2 = 5 + i4 + i2; case 5 => 0
+}
+}
+}
+import i0.{ toInt, i2 => this }
+val i7 = new i4
+val i5 = new i0
+val i6 = new i0
+println(i6.i2())
+}
\ No newline at end of file
diff --git a/tests/fuzzy/485e5cbc7e78bd60b1063fc3542d096d4a78fdf7.scala b/tests/fuzzy/485e5cbc7e78bd60b1063fc3542d096d4a78fdf7.scala
new file mode 100644
index 000000000000..c493755911e1
--- /dev/null
+++ b/tests/fuzzy/485e5cbc7e78bd60b1063fc3542d096d4a78fdf7.scala
@@ -0,0 +1,9 @@
+import scala.language.i1
+@i1 true class i0(i1: i0)
+case class i1[i2[_], i3](i4: i2 => i3[i3],
++i5: Long) extends i2[i6]
+class i6[+i4 <: Nothing] extends i5[i1] {
+if (this + _, i8: Any) match[i9](_ > 0)
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/49fc58e3885b671a7569326d1ad6590f9668a1a2.scala b/tests/fuzzy/49fc58e3885b671a7569326d1ad6590f9668a1a2.scala
new file mode 100644
index 000000000000..94c92cda277c
--- /dev/null
+++ b/tests/fuzzy/49fc58e3885b671a7569326d1ad6590f9668a1a2.scala
@@ -0,0 +1,22 @@
+object i0 {
+type i1 = (String, Int) => (i2, i2, i3.i2)
+}
+object i4 {
+object i3 {
+implicit def i5(i6: i0): i1 = i5;
+class i7(i6: i4) {}
+def i7(i8: i3): Unit
+class i1 {
+type i2 = i3.i4.this.i2
+def i3 = 1
+}
+class i4 extends i1 {
+val i5: i2 = ???
+def i6: i3
+}
+def i7: i1 = {
+this.i6 => ???
+def this(i6: i1 => Unit): i3 = i2()
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/4a5fb957ddf1b97d1e06db42848a3bceeb1e4b74.scala b/tests/fuzzy/4a5fb957ddf1b97d1e06db42848a3bceeb1e4b74.scala
new file mode 100644
index 000000000000..3639e4654c8d
--- /dev/null
+++ b/tests/fuzzy/4a5fb957ddf1b97d1e06db42848a3bceeb1e4b74.scala
@@ -0,0 +1,8 @@
+object i0 {
+def i1(i2: Any) = i2 match {
+case i3: i4 => () => i3
+case _ => i2
+case _ => throw new Exception(
+(new _)
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/50960852a3aa14a9455822b00df49c2c506c2bf2.scala b/tests/fuzzy/50960852a3aa14a9455822b00df49c2c506c2bf2.scala
new file mode 100644
index 000000000000..75dc528cba7a
--- /dev/null
+++ b/tests/fuzzy/50960852a3aa14a9455822b00df49c2c506c2bf2.scala
@@ -0,0 +1,14 @@
+class i0 {
+def i1(i2: List[String]): Unit = {
+val i3: (Int => String) => Float => String = new _ with else {}AnyRef { }(_ => ()) yield map { i4 =>
+case _ =>
+}
+}
+trait i2 extends collection.map(_, _ => () k1023) } class i5 {
+trait i6 { def i7(i6: String*): Int }
+}
+object i8 extends App {
+def i9: Int = {
+i1((i9: Any) => "")
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/52fa076196b986c41897259b783cb4d1b2bdd5f3.scala b/tests/fuzzy/52fa076196b986c41897259b783cb4d1b2bdd5f3.scala
new file mode 100644
index 000000000000..c381c44558b5
--- /dev/null
+++ b/tests/fuzzy/52fa076196b986c41897259b783cb4d1b2bdd5f3.scala
@@ -0,0 +1,15 @@
+import Map
+package i0
+abstract class i1 {
+def i2: Map { type i3 }] = null
+assert
+trait i1 {
+type i2 <: i3
+class i3 {
+def i4: i2
+}
+def i5: List[i0] = new { type i4 = String }
+}
+type i8 = i3 & i10 @ _;
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/53733e0d1dbd22db14cb42456dc6c0e52385566a.scala b/tests/fuzzy/53733e0d1dbd22db14cb42456dc6c0e52385566a.scala
new file mode 100644
index 000000000000..764f8212baea
--- /dev/null
+++ b/tests/fuzzy/53733e0d1dbd22db14cb42456dc6c0e52385566a.scala
@@ -0,0 +1,11 @@
+abstract class i0 {
+def i1(i2: String): Int = {
+class i3 extends AnyRef {
+var i4: i3 = i3;
+}
+def i5(i6: String => String)(i5: String) = i3 match {
+case Some(_) => Some(i7.i5)
+}
+(i7: Int) => println(); i7 _ =>
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/569812032e895bd8d1f726ae909f0b38512bc74b.scala b/tests/fuzzy/569812032e895bd8d1f726ae909f0b38512bc74b.scala
new file mode 100644
index 000000000000..bbc562f88336
--- /dev/null
+++ b/tests/fuzzy/569812032e895bd8d1f726ae909f0b38512bc74b.scala
@@ -0,0 +1,8 @@
+object i0 {
+def i1(i2: String, i3: Boolean = None): Int = i4
+val i4 = new i2(1)
+val i5 = i3(1, )
+i1()
+i4()
+val i6: i2 = i6() yield i7(i3, ) => ()
+def i8[i2](i3: i2 => String): i1 = (i5.i5) => i1 + i3 == i3) }
\ No newline at end of file
diff --git a/tests/fuzzy/597a43d8b9d210fe6fb04bf3059811776e7f20d9.scala b/tests/fuzzy/597a43d8b9d210fe6fb04bf3059811776e7f20d9.scala
new file mode 100644
index 000000000000..e5743b6eb1fd
--- /dev/null
+++ b/tests/fuzzy/597a43d8b9d210fe6fb04bf3059811776e7f20d9.scala
@@ -0,0 +1,45 @@
+package i0
+package i1 {}
+object i2 {
+val i3: Any
+}
+abstract class i4 extends i0 {
+override type i1 = Nothing
+type i3 <: i2
+type i4 <: i2
+type i5 <: i3
+type i6 <: i2
+type i7 = { val i8: i4 }
+val i9 = { val i1: i2 }
+type i11 = List[this, i7]
+trait i12 {
+type i16 <: i11;
+class i16 extends i1 {
+type i2 <: i1
+type i7 <: i5.i4 {
+type i8
+type i13 <: this.type
+def i12(i13: i0) = i16 match {
+case _: i7 =>
+}
+}
+}
+package i14 { abstract class i1 {
+type i2 <: Singleton with i4 {
+def i5(i9: i6): i6 = new i4(i5)
+}
+val i10: i8 = ???
+implicit def i10 = i9
+}
+class i16 extends i4 {
+type i1
+val i10: Int = new i6
+val i9 = new
+val i12 = ''
+}
+class i16 extends i0 {}
+class i2() extends i10
+object i9 {
+def i10(i11: i4): String =
+super.i2 {}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/5a760f543aeb770614235cf247b035f8f2924f8a.scala b/tests/fuzzy/5a760f543aeb770614235cf247b035f8f2924f8a.scala
new file mode 100644
index 000000000000..187878c54bb0
--- /dev/null
+++ b/tests/fuzzy/5a760f543aeb770614235cf247b035f8f2924f8a.scala
@@ -0,0 +1,18 @@
+class i0 {
+class i1 {
+type i2 <: i3
+}
+class i3 extends i1 {
+protected def i2 = new _
+def i2[i3](i4: i7[i1 => i2]): i2[i5] = ???
+def i8[i2](i7: i5): i1 @i8[i7] = ???
+implicit def i10[i11](i11: i15): i12[List] => `i12 => i15 => i9 }
+class i2 extends i0 {
+type i15 = Int
+def i7 = i11
+i4 ::: i17
+val i14 = new i2[i11]
+val i15 = i12
+val i12 = new i8[Int, i5]()
+def flatMap = 3
+}
\ No newline at end of file
diff --git a/tests/fuzzy/5be1c2b57f5e6b8bd7e23fc1cc74ae0c4ac6d6a5.scala b/tests/fuzzy/5be1c2b57f5e6b8bd7e23fc1cc74ae0c4ac6d6a5.scala
new file mode 100644
index 000000000000..f8fb6004fda4
--- /dev/null
+++ b/tests/fuzzy/5be1c2b57f5e6b8bd7e23fc1cc74ae0c4ac6d6a5.scala
@@ -0,0 +1,17 @@
+object i0 {
+type toInt = Int
+def i1(i2: String) = List(1, 2, 3);
+def i3: Int = {
+i3 }
+}
+abstract class i4() {
+lazy val i5: i0 = null
+def i6(i2: i0) = new _ }
+}
+object i7 {
+def apply(i8: Int): Unit = {
+def i9 = i3(1 -> 2)
+}
+"" match { case i1(i1, i12) => } println(i11.i19) i22 }
+println((i4 == i5) implicit { case i0(i1) => Set(1).Short); case None => 3 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/5d506217aaf5e71195b85b12ca59245f35152885.scala b/tests/fuzzy/5d506217aaf5e71195b85b12ca59245f35152885.scala
new file mode 100644
index 000000000000..2b12dffd735e
--- /dev/null
+++ b/tests/fuzzy/5d506217aaf5e71195b85b12ca59245f35152885.scala
@@ -0,0 +1,32 @@
+abstract class i0[@specialized i1: AnyRef {
+@i0 override def i2(): Int = 5 * i0
+class i3 {
+var i4: i1 = 1
+}
+class i3 extends i0 {
+override val i1: Int = 5
+def i2 = new i0 {}
+i3 match {
+case _: i2 => for i1 => println(); case _
+!!!!)
+println()
+val i1 = i2(new i2())
+lazy new scala {
+override def i3 = new i2
+val i5 = 42
+def i3 = 42
+def i4 = i2 contains 5
+}
+object i5 {
+def main(i6: Array[String]): Unit =
+println match {
+case List(i4: Int) =>
+}
+}
+trait i5 {
+def i3(erased i2: Int): Int = 0
+def i2() = { class i3 } match {
+case i4 @ i5 => 1
+case i6: i7 => i5 _ extends i5 =>
+}
+i7(new i0(2)) }
\ No newline at end of file
diff --git a/tests/fuzzy/5d6c276f1c1bf438799df096416f89683fc4fcaa.scala b/tests/fuzzy/5d6c276f1c1bf438799df096416f89683fc4fcaa.scala
new file mode 100644
index 000000000000..063e0f91f341
--- /dev/null
+++ b/tests/fuzzy/5d6c276f1c1bf438799df096416f89683fc4fcaa.scala
@@ -0,0 +1,15 @@
+trait i0
+class i1(val i2: Option[i2]) extends i0(5)
+object i3 {
+@i1;
+}
+object i2 extends App {
+new i0 {
+match { case Seq() => i1 }
+val i4: i0 = new { def i1 var main = 0 = .i3;
+def +++(i3 < 0);
+val i5 = new _;
+i8.i4(i5): Byte
+}
+def i10 = { println(i2()); null } import Tuple2.this.i1;
+}
\ No newline at end of file
diff --git a/tests/fuzzy/628b3c175445b95d9155223a2651ad97c6091657.scala b/tests/fuzzy/628b3c175445b95d9155223a2651ad97c6091657.scala
new file mode 100644
index 000000000000..4394f5e14cdd
--- /dev/null
+++ b/tests/fuzzy/628b3c175445b95d9155223a2651ad97c6091657.scala
@@ -0,0 +1,25 @@
+object i0 {
+def i1(i2: Int, i3: Int, i4: Int) = i4
+val i5 = null;
+i4(1, 2, 3): _
+'i17 = 1
+val i9 = .length
+(i2: Int, i10: Int): (Int => (_)) => 42
+def i11 = i11
+type i18 = i10 { type i10 <: i1.i2 } = { i32: i0 =>
+type i6
+type i79 <: i7{type i9, i10 <: i5.i2] }
+val i9: i8 { type i4 = i13.i9 }
+val i16 = new i1 {} }
+import i9.{ Set, i8 => }i9 {
+object i10 extends i6 with i4 {
+val i5 = new i9
+var i9: i3.i2
+type i15 = i11.i1
+}
+def i10: Unit =
+i16 {
+val i18 = new i6()
+val i15 = i11
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/6291e318fc02ee941333a81928ec3ce3e4afbfa8.scala b/tests/fuzzy/6291e318fc02ee941333a81928ec3ce3e4afbfa8.scala
new file mode 100644
index 000000000000..21e8e0e0f618
--- /dev/null
+++ b/tests/fuzzy/6291e318fc02ee941333a81928ec3ce3e4afbfa8.scala
@@ -0,0 +1,9 @@
+class i0 extends i0() {
+var i1 = false
+val i2: Int = 1
+def i3(i4: String): String = i1
+}
+class i5 extends i1 {
+def i6 =  if (i2.i7) new _ }
+{ if (collection
+'{ println(); new i2() } def i6() = "" }
\ No newline at end of file
diff --git a/tests/fuzzy/62fa6e56c343b91f6069fbe8812bc8deb697f24b.scala b/tests/fuzzy/62fa6e56c343b91f6069fbe8812bc8deb697f24b.scala
new file mode 100644
index 000000000000..eed79dded3b4
--- /dev/null
+++ b/tests/fuzzy/62fa6e56c343b91f6069fbe8812bc8deb697f24b.scala
@@ -0,0 +1,7 @@
+class i0 {
+def i1[i2](i3: i2): Unit = {
+def this(i4: Int) = 0
+}
+trait i5 {
+println(""i6i6(1) }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/649af74727c8b64104f090a3cafb1ad8c392e22d.scala b/tests/fuzzy/649af74727c8b64104f090a3cafb1ad8c392e22d.scala
new file mode 100644
index 000000000000..6f31b598972d
--- /dev/null
+++ b/tests/fuzzy/649af74727c8b64104f090a3cafb1ad8c392e22d.scala
@@ -0,0 +1,27 @@
+object i0 {
+{ val i1 = { else 42 }
+def this() = {
+this(new { println(); 1 } def i1 = Array(1, 2, 3); def i1 = () {}
+}
+def i2[i3]: Int = 2
+private val i0: i0 = new {}
+}
+object i4 {
+def i5 = 0
+}
+abstract class i6 {
+case val i7 = classOf[Tuple2(String])
+def i1 = (Some(i7)))
+implicit def i5: Int = {contains(""); i3 }
+}
+class i4 {
+def i3(i2: => Boolean) = if (i7) i3 else i4
+}
+val i7 = (i7: Int, i6: Nothing) =>
+case _: i2 => i3 => {
+case _ => i2();
+}
+}
+i3(i6()) println(i6) new asInstanceOf(i7));
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/64f042fa3a069619cfee211dd732b5be791e133b.scala b/tests/fuzzy/64f042fa3a069619cfee211dd732b5be791e133b.scala
new file mode 100644
index 000000000000..f88c7ca14017
--- /dev/null
+++ b/tests/fuzzy/64f042fa3a069619cfee211dd732b5be791e133b.scala
@@ -0,0 +1,10 @@
+class i0 {
+class i1[+i2]
+class i3[+i2](i4: i2) extends i2[i1]
+abstract class i5[i6]
+trait i7[i5 <: i6 {
+type i2 <: i3[i4]
+trait i8 extends i4 with i1[i9, i8] with i9
+class i10
+def i11 = 1
+}
\ No newline at end of file
diff --git a/tests/fuzzy/657656be94175b0a476d5ce17b9f1e196ab67b38.scala b/tests/fuzzy/657656be94175b0a476d5ce17b9f1e196ab67b38.scala
new file mode 100644
index 000000000000..9bf89d13eba4
--- /dev/null
+++ b/tests/fuzzy/657656be94175b0a476d5ce17b9f1e196ab67b38.scala
@@ -0,0 +1,10 @@
+object i0 {
+trait i1[i2]
+def i3[i2](i4: i2) = i3
+def i5[i6[i7]](i8: i7[i6]): i6[i5] = new i6[i2] {
+override def i9 = new i0[Option]("")
+}
+enum i1[List] {
+type i11[i3] = i1[i11]
+def apply[i14](i11: String): i11 = new
+class i1 { var i2: Int = 0 }
\ No newline at end of file
diff --git a/tests/fuzzy/670b1276fc9546345aa3a1f1cd07439d77fbb913.scala b/tests/fuzzy/670b1276fc9546345aa3a1f1cd07439d77fbb913.scala
new file mode 100644
index 000000000000..8d4f9133fde1
--- /dev/null
+++ b/tests/fuzzy/670b1276fc9546345aa3a1f1cd07439d77fbb913.scala
@@ -0,0 +1,24 @@
+object i0 {
+def i1: Unit = {
+i2("")
+}
+object i3 {
+def unapply(i4: Int): String =
+this match {
+case i3: Any => println()
+}
+}
+def i4(i5: Any) = ()
+}
+object i6 {
+def i7(i8: String): Int = i11
+val i11 = new i1 {
+import i2.{ i7 => } class i10 {
+val i10 = new Array(10)
+val i11: i0 = i13 case i10 => i13.i10
+case _ => case _ => case _ => throw new i17
+println(i10.i11)
+println(i5.i10(i9))
+case _ => implicit i13 => case _ => println()
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/6fdfd91c2db76511d40c54ec406c59fdf8af7b09.scala b/tests/fuzzy/6fdfd91c2db76511d40c54ec406c59fdf8af7b09.scala
new file mode 100644
index 000000000000..4e49461a7bce
--- /dev/null
+++ b/tests/fuzzy/6fdfd91c2db76511d40c54ec406c59fdf8af7b09.scala
@@ -0,0 +1,18 @@
+object i0 {
+type i1 = Map[i0, String]
+override val _ = contains("", null)
+val i2 =
+var i3 = ""
+}
+object i4 {
+implicit val i5 = null;
+val i6: (_ { type i7 <: i2.i3 }) = i4.iterator.this
+val i15: i1.type = i0('i2 , 3)
+abstract class i6 { type i7 <: i2 }
+object i1 extends i4 {
+private object i5 extends i3 {
+object i6 extends i5
+trait i6 extends i2 { type i3 }
+type i4 <: i3.this.type
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/72496edbad3b3f4ba69d9a4675213f08cce60f12.scala b/tests/fuzzy/72496edbad3b3f4ba69d9a4675213f08cce60f12.scala
new file mode 100644
index 000000000000..81d1d7075697
--- /dev/null
+++ b/tests/fuzzy/72496edbad3b3f4ba69d9a4675213f08cce60f12.scala
@@ -0,0 +1,20 @@
+class i0[+i1](val i2: i1) {}
+trait i3[i1[i2] <: AnyRef {
+type
+println()
+println();
+trait i1 {
+object i2
+final val i3 = i1 _ }
+}
+package i0 {
+package object i1 {
+def this(i4: Array[String]): Unit =
+try {
+i2 match {
+case i5 =>
+val i6 = new AnyRef {
+case _ => println()
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/7326aaaa717bccc7d8fee10995a595f21edb44c6.scala b/tests/fuzzy/7326aaaa717bccc7d8fee10995a595f21edb44c6.scala
new file mode 100644
index 000000000000..0bc427363475
--- /dev/null
+++ b/tests/fuzzy/7326aaaa717bccc7d8fee10995a595f21edb44c6.scala
@@ -0,0 +1,6 @@
+class i0(i1: Int) {
+def unapply[i0](i1: i2 => i3): Boolean =
+i4 match {
+case
+def this() = this.i1 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/74fe12410cd48a672c4482971aba6144549a29dd.scala b/tests/fuzzy/74fe12410cd48a672c4482971aba6144549a29dd.scala
new file mode 100644
index 000000000000..1aa46c77d5e3
--- /dev/null
+++ b/tests/fuzzy/74fe12410cd48a672c4482971aba6144549a29dd.scala
@@ -0,0 +1,15 @@
+trait i0 {
+type Dynamic <: Any with i1
+trait i1
+type i2 >: i1
+type i3 <: i0 {
+type i1 <: i2;
+val i5: i2; }
+def i6(implicit i6: => i7.i8): Unit = {}
+}
+class i7 {
+assert(i3(, i2 == i6.i1))
+}
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/796a428b317e90b5409fbbc886ed6077f801e91f.scala b/tests/fuzzy/796a428b317e90b5409fbbc886ed6077f801e91f.scala
new file mode 100644
index 000000000000..676effd7fe99
--- /dev/null
+++ b/tests/fuzzy/796a428b317e90b5409fbbc886ed6077f801e91f.scala
@@ -0,0 +1,36 @@
+.unapply = 0
+import i0.{ i1, i2 =>
+def i3 = (this: Any) match {
+case ((_, Int), true) =>
+case (_, i2) => Console.println(i0);
+Some(i4.i5);
+case None => case _ => println()
+List( i2 == _) { case i1 if i2 => () } def i3[i4](i7: i4): i6 = { i5 =>
++ classTag(i0) = null
+val i8 = sys.error("")
+val i14 =
+erased def i1+(i2: => Int, i3: Int): Array[Null[Tuple2]].i2 = i9.asInstanceOf[Any]
+case (i7 :: Nil) =>
+(i7: String, (String, _)) => (i11: List(): List[Null]]
+(i11: Int) |
+new i9 == i10.i4(new i1(13)
+def ```[i10,
+i11]: String => this =
+false
+) match {
+case i1 i2(i9 => i8(i3))
+}
+def i10(i2: Int): Int = {
+println((null: Short)) case _
+i7 +!
+0 + i5
+}
+def i1: Int = {
+val i3 = 2
+i1.Nil() }
+)
+{ i4: super + 33(42).i6(Map[(Int, Int)]).iterator("" i1 "".i7 ); println(); 2}
+i8.i11
+catch { k?1(i8 <= null; k);2 null
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/827a8c670660b1c8bbe210e7a9dffea632ee39ea.scala b/tests/fuzzy/827a8c670660b1c8bbe210e7a9dffea632ee39ea.scala
new file mode 100644
index 000000000000..b5e32d1d4ac4
--- /dev/null
+++ b/tests/fuzzy/827a8c670660b1c8bbe210e7a9dffea632ee39ea.scala
@@ -0,0 +1,25 @@
+object i0 {
+def i1() = {
+class i2 {
+type i3
+type i4 = i2.type
+val i5: i7;
+}
+type i6 = i6 { type i2 = String } = null }
+}
+trait i7 {
+type i6 <: Singleton with i4
+type i7 <: i2 with i8
+type i8 <: i1 { type i4 = i10; val i3 = this; i8 }
+def i10(i9: String): i1 = ???
+def apply(i16: i1): i1 = ???
+i9()
+}
+def i16() = 55
+}
+object i11 extends i12 {
+override def i16: i1 = ???
+import i8._
+i15.size = ???
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/830cdab909e6a0cbdb008265cc196a209567e658.scala b/tests/fuzzy/830cdab909e6a0cbdb008265cc196a209567e658.scala
new file mode 100644
index 000000000000..996ddd974537
--- /dev/null
+++ b/tests/fuzzy/830cdab909e6a0cbdb008265cc196a209567e658.scala
@@ -0,0 +1,7 @@
+class i0 {
+class i1 { type i2 }
+type i3 = i1.i2
+type i4 = i0 { type i1 <: i4 }
+type i5 = Int
+type i6 = i3.i1 = new i0 { def i4: i5 = ??? }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/839c0001d8c945deb1f79df9c4d78de183153819.scala b/tests/fuzzy/839c0001d8c945deb1f79df9c4d78de183153819.scala
new file mode 100644
index 000000000000..ee164c9f46c5
--- /dev/null
+++ b/tests/fuzzy/839c0001d8c945deb1f79df9c4d78de183153819.scala
@@ -0,0 +1,8 @@
+class i0 {
+def i1: Unit = {
+class i2
+class i2(i3: Int)
+}
+val i2 = new i3;
+println( + (new _)) Either } )
+}
\ No newline at end of file
diff --git a/tests/fuzzy/85ca89e9d0bdfd0a91f38831fdb97afd42848f75.scala b/tests/fuzzy/85ca89e9d0bdfd0a91f38831fdb97afd42848f75.scala
new file mode 100644
index 000000000000..bbba4589a7bb
--- /dev/null
+++ b/tests/fuzzy/85ca89e9d0bdfd0a91f38831fdb97afd42848f75.scala
@@ -0,0 +1,24 @@
+object i0 {
+def i1[i2](i3: String)(i4: i2): Unit = {}
+class i5[i6](i7: i4) extends i0[i2] {
+def i8(i9: i4): i8.i2
+}
+trait i10 extends i0 {
+type i1[i2] = i9[i2]
+}
+trait i10 {
+type i1[i2]
+type i4[i5 <: i6, i7 <: i6] <: i4
+def i10(i11: i1): i6[i1] = null
+implicit val i13: i1 = new i10[i2]
+implicit val i11 = new i1[i2] {}
+trait i11[i9] extends i0[i1, i2] {
+def i12(i11: i7[i2]) = i11 match {
+case (i12, i13, i11, i19, i13, i18, i19, i19, i13, i17, i19, i20, i19, i19, i13, i16, i17, i18, i19, i19, i20, i19, i19, i19, i20, i15, i12, i16, i17, i18, i19, i20, i21]) = {
+val i4: i5[Int, Int] = i10
+val i16 = i10
+println(i11, i9 => i17.iterator
+'''
+'';
+'';
+'
\ No newline at end of file
diff --git a/tests/fuzzy/86ffb5f29d6fcab5893656be0307f2b8933b1498.scala b/tests/fuzzy/86ffb5f29d6fcab5893656be0307f2b8933b1498.scala
new file mode 100644
index 000000000000..f7f87886a6ee
--- /dev/null
+++ b/tests/fuzzy/86ffb5f29d6fcab5893656be0307f2b8933b1498.scala
@@ -0,0 +1,7 @@
+class i0 {
+def i1: Unit = {
+val i2: Unit = {
+def this(i3: Int): Unit => Unit = {
+val i4 = 0
+i3(i2) = i3.i5 contains i4+ 1 else 1 + (i4: _*) * (0 i5 else i7 =  + (classOf) < [Int](2)) }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/876beb6d1303bd2aaf8a571eed417e4681c25d73.scala b/tests/fuzzy/876beb6d1303bd2aaf8a571eed417e4681c25d73.scala
new file mode 100644
index 000000000000..9ff1dbb3e8ad
--- /dev/null
+++ b/tests/fuzzy/876beb6d1303bd2aaf8a571eed417e4681c25d73.scala
@@ -0,0 +1,14 @@
+class i0 extends annotation.StaticAnnotation
+abstract class i1 {
+type i2;
+def i3: Int = {
+println()
+trait i4 {
+type i5 <: i6 {
+type i1 <: i0
+def i7
+}
+def i8(i9: i0): Int = i9(i2, next)
+lazy val i15: () => String = i1 }
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/87b1e375168a7888470eefc1fb867d0c9f550865.scala b/tests/fuzzy/87b1e375168a7888470eefc1fb867d0c9f550865.scala
new file mode 100644
index 000000000000..64bb876e79bf
--- /dev/null
+++ b/tests/fuzzy/87b1e375168a7888470eefc1fb867d0c9f550865.scala
@@ -0,0 +1,49 @@
+trait i0 {
+type i1
+val i2: Int = 1
+}
+class i3 extends i0 {
+override def i1 = 1
+}
+object i4 {
+def i5(i6: i0) = i4
+}
+object i7 {
+def i8 = new i2 {
+type i2 <: i3.i4 with i5
+def i9: i6 = i9
+}
+}
+object i1 {
+implicit def i11[i4](i6: i9[i2]): i2[i5] = i4[i2, i4](i5)
+def i15[i15](i13: i14[i7]): i1[i12] = null
+var i13: i10[i6] = null
+implicit def i11[i2](val i7: i6[i5]): i8[_] = null
+}
+class i16 extends i12 {
+type i11 <: i10
+type i19 = i10
+val i11: i5[i12] = ???
+}
+import i12._
+val i20: i12 = ???
+i16 i14 {
+type i18[i3[i1, i2]] = i15[i5[i10]#i14,
+i17
+type i16[i16, i16 <: i0, i16] <: i17[i15]] {
+def i2[i10]: i9[i10, i11] = i9[i14, i2] {}
+case class i12() extends i1[i2](i5);
+class i14() extends i2[i1, i2];
+case class i14(i15: i10) extends this {
+val i14: i14[_ <: i2[_ <: i15] = ???
+def i10(i11: i7 with i3): Unit = i9 match {
+case _: i0[i1, i2]> =>
+val i10 = i4(1, 2)
+i1.i5[i4.i1[i6]]
+i11 i8[i12]
+i10.i7: i8 match {
+case i4(i5) =>
+i10 match {
+case i11 : i10 => i12 + i12
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/87e911d4a30f9df0be954fcb2cd693c86d4ea19d.scala b/tests/fuzzy/87e911d4a30f9df0be954fcb2cd693c86d4ea19d.scala
new file mode 100644
index 000000000000..6d6eb635ba75
--- /dev/null
+++ b/tests/fuzzy/87e911d4a30f9df0be954fcb2cd693c86d4ea19d.scala
@@ -0,0 +1,24 @@
+class i0 {
+var i1: Int = 1
+override def i2() = 5
+def i3(i4: String)(i5: String): Array[Byte] = null
+}
+trait i6 extends i3 {
+var i1: Int
+}
+class i4 {
+import i0._
+val i7 = new i3 {}
+}
+object i8 {
+type i6 = i3.type
+type i7 <: i6
+type i2 = i3
+def i8: Unit = {
+val i9: i4.i1.i2 = i6.i2()
+def this(i10: Int): Int
+def i13: Any = ()
+}
+val i11: String = i11
+val i12 = new { def i10() = ""); i13.i11.i2 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/8af8cf4a9b8ef41468c4d57228ee7cf11ab3241e.scala b/tests/fuzzy/8af8cf4a9b8ef41468c4d57228ee7cf11ab3241e.scala
new file mode 100644
index 000000000000..8c10f1e3680d
--- /dev/null
+++ b/tests/fuzzy/8af8cf4a9b8ef41468c4d57228ee7cf11ab3241e.scala
@@ -0,0 +1,12 @@
+import scala Array language.i0
+object i1 {
+implicit class i0[i2, i2, i3](i4: i3[i2]*)
+@annotation.i5
+}
+class i6(i7: i1)
+class i5[i6] extends i0 { type i1 <: List[i11#i4] with i4[i5 Array[i6]] {
+var i4: Int,
+i5 = true
+def update[i6 <: i7.i1] }
+final case class i8[i3, i9](i9: i9 with i2) extends AnyVal {}
+class i7[i1](val i5 : i2 { type i9[+i6] = i90 }]
\ No newline at end of file
diff --git a/tests/fuzzy/9040cce707802c656cd89d4fd33b241f1c8029da.scala b/tests/fuzzy/9040cce707802c656cd89d4fd33b241f1c8029da.scala
new file mode 100644
index 000000000000..343ad21ae3db
--- /dev/null
+++ b/tests/fuzzy/9040cce707802c656cd89d4fd33b241f1c8029da.scala
@@ -0,0 +1,8 @@
+package object i0 {
+type i1
+type i2
+final case class i3 { type i4[i4] }
+type i5 <: i1
+val i3: (i1 { type i7: Float[i2] }): { def i5(i6: i4.i1): i1 = i5.i9; i4: i2 }
+def i9 = i2
+(
\ No newline at end of file
diff --git a/tests/fuzzy/919792033e4adc9121da1a721db573b3b5565113.scala b/tests/fuzzy/919792033e4adc9121da1a721db573b3b5565113.scala
new file mode 100644
index 000000000000..703b97d2a4ac
--- /dev/null
+++ b/tests/fuzzy/919792033e4adc9121da1a721db573b3b5565113.scala
@@ -0,0 +1,40 @@
+class i0 {
+val i1: { case _: String
+object i1 {
+type i2 = i3.i4 with i3
+type i3 = Stream ????.Seq
+}
+object i7 {
+val i8: i1 = new i8
+val i11: Class[_ { type i4 <: i1} type i3 <: i4.i4 })]
+}
+object i1 extends i4 {
+type i2 = String
+}
+val i5 = new i4 { def i13: i1 } with i5 { def i14: i5 }
+val i13: i16 { type i2 = String } = null;
+if (i11 == ) println();
+assert(i11) ) }
+}
+trait i16 extends i4 with i5 {
+class i12 { class i2 extends i0 }
+val i9 = new i8.i1 }
+trait i10 {
+def i11: i6 = i9
+}
+class i10 extends i6(i3, i4 { type i9 <: i3 }
+object i10 {
+implicit def i15[i12](i14: i15): i15 = ???
+}
+trait i18 extends i6 { i1: i4 =>
+type i4 <: i1
+type i5 <: i9.type
+}
+val i10: i8 = ???
+new i6[i4] { def apply(i11: i6) = new i1(i2) }
+}
+package i11.i2 {
+protected[this] def i11: i0[Int, i1] = ???
+implicit var i12: Int with i15 = ???
+println("")
+}
\ No newline at end of file
diff --git a/tests/fuzzy/91e050e423baa437d6adfcbec48fcd5dcad65a77.scala b/tests/fuzzy/91e050e423baa437d6adfcbec48fcd5dcad65a77.scala
new file mode 100644
index 000000000000..862ea0fba8c2
--- /dev/null
+++ b/tests/fuzzy/91e050e423baa437d6adfcbec48fcd5dcad65a77.scala
@@ -0,0 +1,13 @@
+object i0 {
+def i1 = 0;
+def i2(i3: i1): i2 =
+i4(i2)
+}
+object i5 extends i4 {
+override def i3: i1 = _
+val i7 = new (_: String) match {
+case i1(i5) => ()
+}
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9348b398326cdf60003cbaf79dc0f84d10fe3d2b.scala b/tests/fuzzy/9348b398326cdf60003cbaf79dc0f84d10fe3d2b.scala
new file mode 100644
index 000000000000..378ca801152e
--- /dev/null
+++ b/tests/fuzzy/9348b398326cdf60003cbaf79dc0f84d10fe3d2b.scala
@@ -0,0 +1,9 @@
+class i0 {
+implicit def i1(i2: String): i2 = new i3(i2)
+}
+object i4 {
+implicit def i5: i1[i2] = new i2
+val i6 = (i6: i2[i0])
+type i6[i7] = i4 { type i8 = i7 }
+type i9 = i9 { type i6 type i5 = Int } = i9.asInstanceOf[i9.type]
+}
\ No newline at end of file
diff --git a/tests/fuzzy/944abc99641166a85daa0ac21946aaa6d2cf2bba.scala b/tests/fuzzy/944abc99641166a85daa0ac21946aaa6d2cf2bba.scala
new file mode 100644
index 000000000000..7c6ab00dda52
--- /dev/null
+++ b/tests/fuzzy/944abc99641166a85daa0ac21946aaa6d2cf2bba.scala
@@ -0,0 +1,19 @@
+class i0 {
+def i1: Unit = {
+val i2 = null
+println()
+case class i3() {
+val i4 = i2 val i5: i2 = i1
+}
+trait i6 extends i4 {
+def i5: Unit
+}
+case class i3(i6: String): i0 { type i1 = i4 }) =
+Console.println
+sealed trait i0 {
+type i1 <: i0
+}
+trait i2 extends i0 {
+def i3 = ""
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9484d5d85ae512ee3861818ea4df11d924fcf797.scala b/tests/fuzzy/9484d5d85ae512ee3861818ea4df11d924fcf797.scala
new file mode 100644
index 000000000000..12ce93a5526b
--- /dev/null
+++ b/tests/fuzzy/9484d5d85ae512ee3861818ea4df11d924fcf797.scala
@@ -0,0 +1,21 @@
+object i0 {
+def i1(): Unit = {}
+class i2 {
+val i3: i1 { type i2 = i1; val i2: () => Any => } i4 { type i1; def i2: Any; def i3 = i1; def i3 = super.i3; val i1: i0; val i4: i1.this.type } def i5 = { val i6: Int; }
+type i5 = i1 { def i2 = new i0 }
+val i3: i0 = new i2() {}
+val i7: Int = i2 _ val i1: Int = i4 }
+trait i6 { def i7(i5: Int) = 0 }
+class i8 extends i6 {
+override def i1: Any
+}
+case class i10() extends i0() {
+val i11: Unit = i14
+}
+val i12 = ""
+val i14 = i16 _
+i9(i10) + 1;
+}
+object i10 {
+import i1.{ i10, i12" } def i10(i11: Int): Int = i11 + i11
+val i17@_ = i11 += i11; val i13: Any = i13 } val i18 = new i6(66) }
\ No newline at end of file
diff --git a/tests/fuzzy/95bbe2ee00e10cbb3890bcbfe5da2b584a8388e1.scala b/tests/fuzzy/95bbe2ee00e10cbb3890bcbfe5da2b584a8388e1.scala
new file mode 100644
index 000000000000..103e49758095
--- /dev/null
+++ b/tests/fuzzy/95bbe2ee00e10cbb3890bcbfe5da2b584a8388e1.scala
@@ -0,0 +1,28 @@
+import language.dynamics
+class i0 extends scala.Dynamic {
+def i1(i2: String)(i3: String): String = ???
+}
+class i4() {
+def apply(i1: Int): Int = i2 match { case _: Throwable
+import scala.annotation.i1._
+type i2 = i0 { type i1 }
+trait i3 {
+type i1 <: i0
+abstract class i4(i5: Seq[i0])
+def i6(i7: i1 with i4): Option[i0[_]] = None
+}
+object i5 extends App {
+println()
+}
+object i6 {
+trait i7 extends super.i4(i5)
+}
+object i6 extends i2 {
+def i5() = i2;
+}
+def i6: i1 = i2()
+implicit def i10(i4: i2): i2 = i6 match {
+case i7 => i6
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/98d78217f6e6011d3d5e072ba751e5cef71bf40d.scala b/tests/fuzzy/98d78217f6e6011d3d5e072ba751e5cef71bf40d.scala
new file mode 100644
index 000000000000..b488ea2397f4
--- /dev/null
+++ b/tests/fuzzy/98d78217f6e6011d3d5e072ba751e5cef71bf40d.scala
@@ -0,0 +1,4 @@
+object i0 {
+def i1(i2: Class[_]) = {
+def this() = this() }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/99d577a4ade8aef7a68f2f4972c016af2126e854.scala b/tests/fuzzy/99d577a4ade8aef7a68f2f4972c016af2126e854.scala
new file mode 100644
index 000000000000..e3250104b1ad
--- /dev/null
+++ b/tests/fuzzy/99d577a4ade8aef7a68f2f4972c016af2126e854.scala
@@ -0,0 +1,12 @@
+package i0.i1.i2.i3()
+abstract class i4 {
+type i3 <: i2 {
+type i3 <: i4
+def i5: i4;
+def i6()(implicit i7: i1)(i8: i5.i1): Unit = i7 match { i4() }
+}
+def i10(i9: i1) = i13.i5
+}
+trait i18
+class i12
+class i12 extends i2
\ No newline at end of file
diff --git a/tests/fuzzy/9a2c70eb0f9a9d78fd9532ae4266957e1561e707.scala b/tests/fuzzy/9a2c70eb0f9a9d78fd9532ae4266957e1561e707.scala
new file mode 100644
index 000000000000..dd857119b479
--- /dev/null
+++ b/tests/fuzzy/9a2c70eb0f9a9d78fd9532ae4266957e1561e707.scala
@@ -0,0 +1,33 @@
+trait i0[+i1]
+class i2 {
+def apply(i3: i1, i1: i3): Unit = {}
+}
+class i4 extends i0[Int] {
+override def i1[i2[_]](i5: i3[i5]) = ()
+override def i6[i4](i5: i2 <:< i4): i3[i3] = i4
+def i6[i7](i8: i4[i6]): i8 = new i1(new i4())
+def i10(i2: i3[i2]): i9[i6]
+}
+object i12 extends i0 {
+trait i1[i2] {
+def ::[i4, i5](i6: i2, i7: i9): Set[i6] = new i6(i5)
+}
+}
+class i9 extends i2[Int, String] {
+def i10(i23: i1) = i8.getClass.i4[Int];
+def i10(i4: i1): i6 = i11.map(i13).map(_: _
+''
+type i0 = i1
+trait i2 extends i0 { type i1 = Nothing }
+trait i5 { type i1 }
+trait i6 { type i5 }
+trait i3 {
+type i1 <: i0
+type i7 <: i3
+type i8 = i2 { type i4 <: i0 }
+type i9 = { type i2 <: i0 }
+type i10 = i8 with Singleton with i4 {
+def contains(i11: i4): i16 = ???
+var i6: i5.i2 = new i7.i8.i5
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9aa9274085e2f2cbd797a9c798e8f0ca355046eb.scala b/tests/fuzzy/9aa9274085e2f2cbd797a9c798e8f0ca355046eb.scala
new file mode 100644
index 000000000000..0eb683a2c30f
--- /dev/null
+++ b/tests/fuzzy/9aa9274085e2f2cbd797a9c798e8f0ca355046eb.scala
@@ -0,0 +1,17 @@
+abstract class i0 {
+abstract class i1() {
+class i2
+}
+object i3 extends i0 {
+i1 =
+class i5 {
+def this(): String =
+var i6: Int
+implicit def i7: i3 = new i4
+}
+}
+class i1 extends {
+type i7 = { type i1: i7 }
+null.type
+case object i5
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9bd90df39a3b6924dc04ef684904825cb2802729.scala b/tests/fuzzy/9bd90df39a3b6924dc04ef684904825cb2802729.scala
new file mode 100644
index 000000000000..324f327049a0
--- /dev/null
+++ b/tests/fuzzy/9bd90df39a3b6924dc04ef684904825cb2802729.scala
@@ -0,0 +1,40 @@
+trait i0 {
+private def i1(i2: String): Int = null
+}
+class i3 extends i0 {
+def i1: Unit;
+def i4(i5: Int): Unit = ();
+}
+object i6 extends i1 {
+def i2() = i1
+}
+object i7 extends App {
+type i1 = i8 { type i9 = i2; type i4 = i5.this.i2; def i7 = (i8: i4) => i6 }
+}
+object i10 extends i6 with i5 {
+var i9: Unit = {
+val i8: i4 = new i2
+}
+def i9 = List()
+println
+package i0.i1.i2
+abstract class i2 {
+type i3 <: i4
+type i4 <: i3
+}
+object i5 extends i2 {
+override def i3(i4: i3): i3 = ???
+def i8(i10: i3): i1 = ???
+i9().i12.head
+}
+trait i10 {
+trait i11 extends i6 {
+val i7 = ???
+}
+class i14 extends i3 {
+override def i11: Unit = {
+val i10 = "i13
+val i12 = null;
+i16.toString + 12
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9beb77e068c404c0c55b6bff0098607ff1a40c94.scala b/tests/fuzzy/9beb77e068c404c0c55b6bff0098607ff1a40c94.scala
new file mode 100644
index 000000000000..a6edf6401a04
--- /dev/null
+++ b/tests/fuzzy/9beb77e068c404c0c55b6bff0098607ff1a40c94.scala
@@ -0,0 +1,9 @@
+object i0 {
+def i1(i2: Int): String = ???
+}
+class i3
+class i4 {
+val i5 = new i0
+import i0.{ i1 =>
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/9c76a8fbb7ade0491135ace39023e4b80108563e.scala b/tests/fuzzy/9c76a8fbb7ade0491135ace39023e4b80108563e.scala
new file mode 100644
index 000000000000..62ad36b31100
--- /dev/null
+++ b/tests/fuzzy/9c76a8fbb7ade0491135ace39023e4b80108563e.scala
@@ -0,0 +1 @@
+class i0(val i1: String) extends (i2 { val i3 = sys.error("") }
\ No newline at end of file
diff --git a/tests/fuzzy/AE-084e92d13a896bc9093d10ccf37e1f070b47342f.scala b/tests/fuzzy/AE-084e92d13a896bc9093d10ccf37e1f070b47342f.scala
new file mode 100755
index 000000000000..d6529f08dad1
--- /dev/null
+++ b/tests/fuzzy/AE-084e92d13a896bc9093d10ccf37e1f070b47342f.scala
@@ -0,0 +1,5 @@
+class I0 { val i1: i1 }
+trait i1 { i1: I0 =>
+  implicit def i1[I2]: {}
+  () {}
+}
diff --git a/tests/fuzzy/AE-0f507ab5caa669b2d1d924604ba4143f5322ce9d.scala b/tests/fuzzy/AE-0f507ab5caa669b2d1d924604ba4143f5322ce9d.scala
new file mode 100755
index 000000000000..e966d7f23112
--- /dev/null
+++ b/tests/fuzzy/AE-0f507ab5caa669b2d1d924604ba4143f5322ce9d.scala
@@ -0,0 +1 @@
+class i0{def i1[](i2):i3=i1(i1)=>}
diff --git a/tests/fuzzy/AE-22003db0c5945f615d733b9b7d44cc204acbb88a.scala b/tests/fuzzy/AE-22003db0c5945f615d733b9b7d44cc204acbb88a.scala
new file mode 100755
index 000000000000..390a6f7cc999
--- /dev/null
+++ b/tests/fuzzy/AE-22003db0c5945f615d733b9b7d44cc204acbb88a.scala
@@ -0,0 +1,5 @@
+object i0 {
+  def i1(i2: List[_]) = Ordering { (i3, i4) =>
+    3
+  }
+}
diff --git a/tests/fuzzy/AE-54d40573f4e4bc10afe01c2c1d3fb5b1cb2ef187.scala b/tests/fuzzy/AE-54d40573f4e4bc10afe01c2c1d3fb5b1cb2ef187.scala
new file mode 100755
index 000000000000..b98581de99e8
--- /dev/null
+++ b/tests/fuzzy/AE-54d40573f4e4bc10afe01c2c1d3fb5b1cb2ef187.scala
@@ -0,0 +1,4 @@
+class I0 {
+  val I1: { def apply[I2](i3: Int): Any }
+  I1()
+}
diff --git a/tests/fuzzy/AE-751587dbd05b565d07418bfff1a7ce4229300222.scala b/tests/fuzzy/AE-751587dbd05b565d07418bfff1a7ce4229300222.scala
new file mode 100755
index 000000000000..88ff0ebb8d61
--- /dev/null
+++ b/tests/fuzzy/AE-751587dbd05b565d07418bfff1a7ce4229300222.scala
@@ -0,0 +1 @@
+class i0{<i1>{case i2
diff --git a/tests/fuzzy/AE-a64ae393ff986b23057d09a4e368bdc9151566f9.scala b/tests/fuzzy/AE-a64ae393ff986b23057d09a4e368bdc9151566f9.scala
new file mode 100755
index 000000000000..4fecaef49be8
--- /dev/null
+++ b/tests/fuzzy/AE-a64ae393ff986b23057d09a4e368bdc9151566f9.scala
@@ -0,0 +1 @@
+class i0 { def i0(i0: => Unit) = i0 match { case i1 => } }
diff --git a/tests/fuzzy/IAE-4a69457e1319217c3bac170110ea4ba58dca11a6.scala b/tests/fuzzy/IAE-4a69457e1319217c3bac170110ea4ba58dca11a6.scala
new file mode 100755
index 000000000000..cd6b509ba448
--- /dev/null
+++ b/tests/fuzzy/IAE-4a69457e1319217c3bac170110ea4ba58dca11a6.scala
@@ -0,0 +1 @@
+class A[B[_] <: Long]
diff --git a/tests/fuzzy/IOOBE-675daccf35772e84922668823d4491c8f2a932b8.scala b/tests/fuzzy/IOOBE-675daccf35772e84922668823d4491c8f2a932b8.scala
new file mode 100755
index 000000000000..21850f8388ae
--- /dev/null
+++ b/tests/fuzzy/IOOBE-675daccf35772e84922668823d4491c8f2a932b8.scala
@@ -0,0 +1,5 @@
+object i0{def I1[I1<:i0[I1],I2[I1],i0]
+implicit def I1[I1]:}
+class i0
+object I1{def i0:I1[Int]=new I1[i0]
+class I1[I1<:Int]}
diff --git a/tests/fuzzy/NPE-26500d1481be1323d39a46b8d3a3a3afc583f46f.scala b/tests/fuzzy/NPE-26500d1481be1323d39a46b8d3a3a3afc583f46f.scala
new file mode 100755
index 000000000000..7c97e886b5de
--- /dev/null
+++ b/tests/fuzzy/NPE-26500d1481be1323d39a46b8d3a3a3afc583f46f.scala
@@ -0,0 +1 @@
+object i0{val i5=(())=>}
diff --git a/tests/fuzzy/NPE-5b4e1b3c8057192410b13f982f52859e3b66145c.scala b/tests/fuzzy/NPE-5b4e1b3c8057192410b13f982f52859e3b66145c.scala
new file mode 100755
index 000000000000..36c39dd444cf
--- /dev/null
+++ b/tests/fuzzy/NPE-5b4e1b3c8057192410b13f982f52859e3b66145c.scala
@@ -0,0 +1,5 @@
+class I0{type I1
+def i2(i3:I0,i4:i3.I1{}
+=
+i2(i6
+}
diff --git a/tests/fuzzy/NSEE-b300a87b772c130ad27152cdbb359c7767348152.scala b/tests/fuzzy/NSEE-b300a87b772c130ad27152cdbb359c7767348152.scala
new file mode 100755
index 000000000000..261377f3ebd5
--- /dev/null
+++ b/tests/fuzzy/NSEE-b300a87b772c130ad27152cdbb359c7767348152.scala
@@ -0,0 +1,7 @@
+class I0 {
+  class I1(i2: String)
+  def i3 = {
+    val i4 = new i5.I1("")
+    val i5 = new I0
+  }
+}
diff --git a/tests/fuzzy/RE-341cc574ffab7ad1cca7c0683c727f4cd8ca9f68.scala b/tests/fuzzy/RE-341cc574ffab7ad1cca7c0683c727f4cd8ca9f68.scala
new file mode 100755
index 000000000000..fdaf451e5345
--- /dev/null
+++ b/tests/fuzzy/RE-341cc574ffab7ad1cca7c0683c727f4cd8ca9f68.scala
@@ -0,0 +1 @@
+class I0 { super.+("") }
diff --git a/tests/fuzzy/SOE-03c90b4e575e34c26ee71b3cc133987fd155ea25.scala b/tests/fuzzy/SOE-03c90b4e575e34c26ee71b3cc133987fd155ea25.scala
new file mode 100755
index 000000000000..29fd46224992
--- /dev/null
+++ b/tests/fuzzy/SOE-03c90b4e575e34c26ee71b3cc133987fd155ea25.scala
@@ -0,0 +1,2 @@
+object i2{type I3[]=I4
+class I4[Double]extends I3[}
diff --git a/tests/fuzzy/TE-a6994c362dfcd98096c0617c171bc54fd30101ff.scala b/tests/fuzzy/TE-a6994c362dfcd98096c0617c171bc54fd30101ff.scala
new file mode 100755
index 000000000000..af0468f08b95
--- /dev/null
+++ b/tests/fuzzy/TE-a6994c362dfcd98096c0617c171bc54fd30101ff.scala
@@ -0,0 +1 @@
+class i0 extends Function0
diff --git a/tests/fuzzy/a1dc444387638f31146f64d4745e896691a9c6a1.scala b/tests/fuzzy/a1dc444387638f31146f64d4745e896691a9c6a1.scala
new file mode 100644
index 000000000000..6434b7bea2ad
--- /dev/null
+++ b/tests/fuzzy/a1dc444387638f31146f64d4745e896691a9c6a1.scala
@@ -0,0 +1,35 @@
+object App {
+class i0 { type i1 = i2 }
+type i2 <: i1 {
+type i3 >: Null <: AnyRef
+trait i4 extends i2 with i3 {
+override def Integer(i5: i3[i4]): i5.i6 = null
+def i8() = i9
+}
+println()
+trait i9 {
+val i10: i1 = implicitly[i1] _
+}
+object i4 extends i5 {
+class i1 }
+def i7: i0 = ???
+}
+}
+object i11 { def i3 =  }
+object i10 {
+implicit def i10(i11: i1): i1.i1 = i7 i4 i14 match {
+extends i11 if false =>
+def i17 = 1
+}
+val i12 = new i14.i12(i12);
+(new i13.i7]().i11.i8.i11.i8.i5(])(_
+val i17: i1, i16: Float = Array(1, 2, 3).==(Seq(1))
+def i13 = ""
+val i15 = ""
+implicit final
+object i17 {
+trait i2 {
+private object i10 {
+if (!i17.i3(i4) i8 Boolean }
+' LegacyApp { case _ => 1 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/a4ff76c16ba3ee1d33dd1a84449ec829a9a97aa6.scala b/tests/fuzzy/a4ff76c16ba3ee1d33dd1a84449ec829a9a97aa6.scala
new file mode 100644
index 000000000000..c01f310bb87e
--- /dev/null
+++ b/tests/fuzzy/a4ff76c16ba3ee1d33dd1a84449ec829a9a97aa6.scala
@@ -0,0 +1,17 @@
+object i0 {
+abstract class i1(i2: i1)
+object i3 {
+trait i4
+val i5 = * {}; this
+}).i6
+}
+object i2 {
+val i3: (() => Unit): Unit
+def i6(i7: ki2): String | _ = i3(i2, i6, 2)
+}
+object i7 {
+val i7 =  new * * 1 i5 9 5 val i6 = i5 + i5 +  + i6.i1 + i5 + 4 + i2(i4); {
+i6
+}.asInstanceOf[Int].mutable(App.i6[String])
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/a92dabf8d9e828621e6f1ba07acf6627a49b4a3f.scala b/tests/fuzzy/a92dabf8d9e828621e6f1ba07acf6627a49b4a3f.scala
new file mode 100644
index 000000000000..47efeae88554
--- /dev/null
+++ b/tests/fuzzy/a92dabf8d9e828621e6f1ba07acf6627a49b4a3f.scala
@@ -0,0 +1,13 @@
+class i0 {
+case class i1()
+}
+abstract class i2 {
+type i3 = i1 { type i2 <: i3
+type i2 = true; type i3; = String;
+val i4 = i5;
+private var reflect(i5: i6) = i6 match {
+case i6: Seq[_
+class i0
+{
+type i1 = Any <~< i2.i3 val i0 = i4.i4 i5.i3(i3)
+}
\ No newline at end of file
diff --git a/tests/fuzzy/a9a748db44126596ccbe8ffcd5b5998753b931d8.scala b/tests/fuzzy/a9a748db44126596ccbe8ffcd5b5998753b931d8.scala
new file mode 100644
index 000000000000..efb4eb53423f
--- /dev/null
+++ b/tests/fuzzy/a9a748db44126596ccbe8ffcd5b5998753b931d8.scala
@@ -0,0 +1,13 @@
+object i0 extends collection.immutable.Double
+class i1(i2: i0) extends ((( 5 i2: String) {
+def i2 = 0
+}
+class i3 extends i0 {
+private def i1: String = ""
+}
+object i4 extends i1 {
+val List(i2 => Int) = i2() new i2() {} }
+i2.asInstanceOf[i4] }
+trait i5 {
+var i6 = if (i3) map(_._)
+}
\ No newline at end of file
diff --git a/tests/fuzzy/aa8494d600b45595a55da3a6ba01e9f2b4d7e2d4.scala b/tests/fuzzy/aa8494d600b45595a55da3a6ba01e9f2b4d7e2d4.scala
new file mode 100644
index 000000000000..260558a1d7ba
--- /dev/null
+++ b/tests/fuzzy/aa8494d600b45595a55da3a6ba01e9f2b4d7e2d4.scala
@@ -0,0 +1,17 @@
+object i0 {
+class i1 {}
+class i2 {
+{ +3 + 4 }
+}
+42
+type i3 >: Null <: Singleton with i4
+type i4 <: List[Int]
+def i5 = { object i2 extends true }
+class i6 extends i0 { override def i7: Long = 42 }
+object i1 {
+implicit def i3(i4: String): i0 = i7
+}
+object i5 extends i2 { def i6 = 42 }
+trait i4 { var i4: i1, i5 = 0; val i8: (Seq[_ with Int) => String) = i13.Option }
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b11c241ce88c83c0c6f949b3106d4e7ff9ef3d99.scala b/tests/fuzzy/b11c241ce88c83c0c6f949b3106d4e7ff9ef3d99.scala
new file mode 100644
index 000000000000..6a30f33acc2a
--- /dev/null
+++ b/tests/fuzzy/b11c241ce88c83c0c6f949b3106d4e7ff9ef3d99.scala
@@ -0,0 +1,16 @@
+abstract class i0 {
+type i1 <: toString
+trait i2 {
+type i3 <: i0
+def i4: i3
+}
+class i5 extends this {
+object i6
+object i2 {
+def apply(i8: Int, i9: i0) = i8 match {
+case i7 if true => case _ => None
+}
+}
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b39f34ce574ac51b821ab409e48fd4acee02c755.scala b/tests/fuzzy/b39f34ce574ac51b821ab409e48fd4acee02c755.scala
new file mode 100644
index 000000000000..7deb62599246
--- /dev/null
+++ b/tests/fuzzy/b39f34ce574ac51b821ab409e48fd4acee02c755.scala
@@ -0,0 +1,7 @@
+object i0 {
+def i1(i2: Int) = 2
+class i3
+val i4: (i1 { type i3;
+val i4 = i3
+})
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b4131f43afdca7e9af9915386c4badc068fe5ca4.scala b/tests/fuzzy/b4131f43afdca7e9af9915386c4badc068fe5ca4.scala
new file mode 100644
index 000000000000..d452668e476b
--- /dev/null
+++ b/tests/fuzzy/b4131f43afdca7e9af9915386c4badc068fe5ca4.scala
@@ -0,0 +1,12 @@
+object i0 {
+inline def i1: Unit = {
+Console.println()
+object i2 {
+def this() = this(new i4())
+}
+object i2 {
+implicit def i3(i4: => Any) = i2 match {
+case Nil =>
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b82054893e0db44e31ae82d696c19c1fbc7be55c.scala b/tests/fuzzy/b82054893e0db44e31ae82d696c19c1fbc7be55c.scala
new file mode 100644
index 000000000000..1e57d871d58e
--- /dev/null
+++ b/tests/fuzzy/b82054893e0db44e31ae82d696c19c1fbc7be55c.scala
@@ -0,0 +1,12 @@
+object main {
+def i0 = {
+class i1 {
+private[i0] var i2: _ > 0 private def i3: List[Int]
+}
+val i4: i1 { type i2.i1 = Class[Boolean] with i3 }
+Array(null: catch) match {
+case None => ()
+null
+} match {
+case 1 i2 Integer Some(i5) List(1, i4, i3, i5) i11 }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b8455b659c531a079763abf0f3ef5eb4451eda36.scala b/tests/fuzzy/b8455b659c531a079763abf0f3ef5eb4451eda36.scala
new file mode 100644
index 000000000000..df09b78258b1
--- /dev/null
+++ b/tests/fuzzy/b8455b659c531a079763abf0f3ef5eb4451eda36.scala
@@ -0,0 +1,15 @@
+class i0 {
+var i1: Int = {
+val i2 = List(1, 2, 3)
+def i5 = i2 - 1
+}
+type i9 = i2 with i7 {
+var i8 = 0
+}
+}
+i3(34).i4().i11 + i6 val i12 i8 i8.i10(i10) else ???
+def !!!(i11: i7): i5[i1]
+implicit val i10: i1[i2] = new i6[Int
+")
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/b91bd732c254800c09d8ebac125ef0f0421cf9d9.scala b/tests/fuzzy/b91bd732c254800c09d8ebac125ef0f0421cf9d9.scala
new file mode 100644
index 000000000000..6350ffc6f1dc
--- /dev/null
+++ b/tests/fuzzy/b91bd732c254800c09d8ebac125ef0f0421cf9d9.scala
@@ -0,0 +1,18 @@
+object i0 {
+abstract class i1 {
+type i2;
+trait i3;
+val i4: i3
+}
+implicit val i5: i0 { type i1 = Int; val i1: i5.type
+package object i0 {
+val i1 = 1 #:: Stream.i1
+implicit object i0 {
+import scala.i0.i1 }
+class i2[i3]
+val i4: Boolean = new Array(1, 0)
+println(i10(i3))
+val i4: Boolean = _
+i4 match {
+case i5: String
+}
\ No newline at end of file
diff --git a/tests/fuzzy/ba77fdb2a05d078e9c400f45d1fe12fa769a1c1f.scala b/tests/fuzzy/ba77fdb2a05d078e9c400f45d1fe12fa769a1c1f.scala
new file mode 100644
index 000000000000..300bc0c0abd3
--- /dev/null
+++ b/tests/fuzzy/ba77fdb2a05d078e9c400f45d1fe12fa769a1c1f.scala
@@ -0,0 +1,41 @@
+import language.List
+class i0 {
+def main(i1: Array[String]): Unit =
+try {
+case List(_, _: _*) => 0 case List(1, 2) => i2 :: i1 - 1 }
+println()
+case _
+(1
+{.iterator i1 })")
+i1 {
+case Array => ()
+case 2 => case _ => println()
+}
+def main(i0: Array[String]): Unit = {
+var i1: (Int => (_ => String) => (Array[_ @_ <: String]) => String = (i1: List[Int]) => String = i2(1)
+def i3(i2: String) = i2
+def i4(i1: String): i1 = i1
+class i5() extends i1(, )
+Console.println(i1(_ >= 0))
+}
+object i6 extends i7(new i1 {})
+var i2 = Some((i1) = i6.filter) {
+println();
+def i8 = new i0 {}
+val i9: i0 = new i0(1)
+def i10 = i4(i9)
+i8(0)
+}
+new
+0
+if (!i1.i2()) {
+trait i3
+type i4 = String
+}
+trait i5 extends i1 with i0 with i0 {
+override def i1 = List(classOf[i3].i4)
+}
+class i5 extends i6 {
+class i5 extends i0 { i2 =>
+def i3 = _ }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/bdc904bfe63fb5bbc7862ae906073703a1559602.scala b/tests/fuzzy/bdc904bfe63fb5bbc7862ae906073703a1559602.scala
new file mode 100644
index 000000000000..0ab5ec3cbad0
--- /dev/null
+++ b/tests/fuzzy/bdc904bfe63fb5bbc7862ae906073703a1559602.scala
@@ -0,0 +1,20 @@
+trait i0 {
+type i1 >: Null
+type i2
+type :+:[i2, i3] <: i0 {
+type i4 = i2
+type i5
+type i6
+type i7 <: i5
+type i8[+i9 <: i1[i2]] => i0[i7.i6]
+trait i10 {
+type i1
+type i12[i9] = i12[i9] => i12 { type i12 <: i16 }
+def i15 = i10[AnyRef]#i10[i4]#i5 i3[i10] def i16[i4, i8 <: i0[i7]](i19: i83) = ???
+implicit def i13(implicit i11: Int => String): i0[i3] = ???
+def i15(i6: i0[i5]): i12[Any] = ???
+i15.i7 = 90
+}
+object i12 {
+def i11 = ???
+}
\ No newline at end of file
diff --git a/tests/fuzzy/bf85113c67ed65e7402c3c3c44cdefa5bff79ee0.scala b/tests/fuzzy/bf85113c67ed65e7402c3c3c44cdefa5bff79ee0.scala
new file mode 100644
index 000000000000..ab544641f127
--- /dev/null
+++ b/tests/fuzzy/bf85113c67ed65e7402c3c3c44cdefa5bff79ee0.scala
@@ -0,0 +1,4 @@
+package i0
+object i1 {
+println((new (_: String))
+}
\ No newline at end of file
diff --git a/tests/fuzzy/c049cb628afe555533c1c2367ca71a2941ff0cbb.scala b/tests/fuzzy/c049cb628afe555533c1c2367ca71a2941ff0cbb.scala
new file mode 100644
index 000000000000..b3e8e050e679
--- /dev/null
+++ b/tests/fuzzy/c049cb628afe555533c1c2367ca71a2941ff0cbb.scala
@@ -0,0 +1,18 @@
+class i0(i1: Seq[String])
+class i2 extends (i1 {
+def i3: Int { def true = Integer }) {
+println()
+}
+abstract class i4 {
+def i5(i6: Any, i7: String, i8: String): Int = ???
+import i0._ def i6 =  implicitly[Int]
+override val i2 = super.i1 + i3
+}
+object i7 {
+implicit object i10 extends i0 { private[this] def i5(i11: Int = 1, i12: Int) =  " apply 1 }
+object i0 {
+val i10 = 4
+val
+i2 i3[i1]
+).i3
+}
\ No newline at end of file
diff --git a/tests/fuzzy/c091e02ebdd6f7de5e190325fdbb80c8aca00c62.scala b/tests/fuzzy/c091e02ebdd6f7de5e190325fdbb80c8aca00c62.scala
new file mode 100644
index 000000000000..0ac83f56a5f4
--- /dev/null
+++ b/tests/fuzzy/c091e02ebdd6f7de5e190325fdbb80c8aca00c62.scala
@@ -0,0 +1,10 @@
+import scala.i0.{ i1 => }
+object i2 {
+private[this] { object i3 extends i0 { new i0 { case i1 => type i2 = Int } }
+implicit object i4 extends Object {
+new i3 :: Int
+val i4 = new i1
+implicit def i5: String = .asInstanceOf[String]
+val i6: i2 = i5.i4()
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/c1acdd088ec0e3f08433a147059c83f68019f53c.scala b/tests/fuzzy/c1acdd088ec0e3f08433a147059c83f68019f53c.scala
new file mode 100644
index 000000000000..ac8fa34865e2
--- /dev/null
+++ b/tests/fuzzy/c1acdd088ec0e3f08433a147059c83f68019f53c.scala
@@ -0,0 +1,26 @@
+class i0 {
+def apply(i1: Int) = i1
+}
+class i0 {
+def i1(i2: String*): String = println()
+def i3(i4: Int): Unit = {}
+def i1: i3 = null.asInstanceOf[Int]
+val i5: i0 = null;
+val i6 = i3.asInstanceOf[Int]
+val i7: Int = 0
+val i8: (Int => (String with _*)) => i8 => i11;
+case Nil => i1(i11);
+def i19(i11: i1): i10): i11;
+(i12: i1, i12: i1) = i13.map(i17) _
+}
+class i11 extends i1 {
+def i2: i1 = i9
+val i12: i1 = new i1
+val i14: i10;
+def i15() = {
+abstract class i16 {
+type i10 = i1
+val i7: String = i8
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/c4dc64b31b9730c4bc565fda57a49b7350b0c3fa.scala b/tests/fuzzy/c4dc64b31b9730c4bc565fda57a49b7350b0c3fa.scala
new file mode 100644
index 000000000000..5862a117afaf
--- /dev/null
+++ b/tests/fuzzy/c4dc64b31b9730c4bc565fda57a49b7350b0c3fa.scala
@@ -0,0 +1,10 @@
+class i0[i1]
+object i2 {
+var i3: Option[i0]
+}
+object i4 {
+implicit def i5[i6[i1]: i0[i1]] = new i6[i1] { type i2 = i6.type }
+}
+trait i7[+i1] {
+def i3 = List(1) + 4
+}
\ No newline at end of file
diff --git a/tests/fuzzy/c8f351c9685739fcf49bd7ce406e431b2a6b7cf7.scala b/tests/fuzzy/c8f351c9685739fcf49bd7ce406e431b2a6b7cf7.scala
new file mode 100644
index 000000000000..8316bb796b73
--- /dev/null
+++ b/tests/fuzzy/c8f351c9685739fcf49bd7ce406e431b2a6b7cf7.scala
@@ -0,0 +1,26 @@
+class i0(val i1: Double) extends AnyVal {
+def i2 = new i0.i3
+}
+abstract class i5 {
+def i6(i7: i0): i1 = i3
+class i8(i9: i4) {
+def i10 = new i6 {
+def i7 = i3(, )
+}
+}
+0
+private def i11: Unit = {
+val i10 = i1(2, )
+def i12 = i13
+val i13 = i2()
+val
+def >>(i10: i1) = i1
+def i14: i0 => String = ???
+trait i18 extends i2
+abstract class i17 {
+override def i1 = List("i5=i15 i11> i15"
+i123 else ??? : i17
+}
+trait i13 extends i2
+object i10 {
+new i0().i5() }
\ No newline at end of file
diff --git a/tests/fuzzy/c9121b21dd022c3ec44f6fe3615923b3d823f7e0.scala b/tests/fuzzy/c9121b21dd022c3ec44f6fe3615923b3d823f7e0.scala
new file mode 100644
index 000000000000..2bb976d86d74
--- /dev/null
+++ b/tests/fuzzy/c9121b21dd022c3ec44f6fe3615923b3d823f7e0.scala
@@ -0,0 +1,36 @@
+trait i0(i1: Int, i2: Int)
+object i3 {
+println()
+}
+package i1.i2 {
+def apply(i3: i2): Unit = {}
+}
+class i4 {
+object i5 extends i1() {
+trait i6 {
+type i2 <: i3;
+val i7: i6;
+}
+new i7
+}
+trait i8 extends i1 {
+type i2;
+}
+trait i9 extends i5 {
+type i10 <: i1
+type i2 <: i1;
+def i5: Unit;
+}
+object i11 extends i11 { type i2 = String }
+val i11 = Some(1) }
+class i12 extends i10 {
+type i2 = i3.i4 {
+type i7 <: i1
+val i10 = i9;
+}
+}
+i11.i8()
+def main(i15: Array[String]): Unit =
+i1.i5
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/ca106cb710ff6a9f4d1752d3a1c2d685877d3e55.scala b/tests/fuzzy/ca106cb710ff6a9f4d1752d3a1c2d685877d3e55.scala
new file mode 100644
index 000000000000..7242eb0d6660
--- /dev/null
+++ b/tests/fuzzy/ca106cb710ff6a9f4d1752d3a1c2d685877d3e55.scala
@@ -0,0 +1,21 @@
+object i0 {
+trait i1[i2 <: i2]
+trait i3[i2[_]]
+object i4 {
+def apply(i5: String): Array[Int] = Some
+}
+i1 {
+val i6: i2[Int] = null;
+val i8: i2[Int] = null
+val i9: i1[Int] = new i0[Boolean]
+i1(List().asInstanceOf[with[Int]]) }
+object i10 {
+type i9[i9]
+def i10: i9
+}
+trait i16[i10] { def i5 = new i0[Int] {}
+implicit val i10: i9[Int] = ???
+val i10 = 0
+val i17 = i13[i1 { val i21 = true
+class i0 {
+abstract { case _ => }
\ No newline at end of file
diff --git a/tests/fuzzy/comment1.scala b/tests/fuzzy/comment1.scala
new file mode 100644
index 000000000000..d8a3238b8371
--- /dev/null
+++ b/tests/fuzzy/comment1.scala
@@ -0,0 +1,12 @@
+object i0 {
+(null: String) match {
+case (i1: Int |) => false
+isInstanceOf lazy 4 | (_: Any) =>
+println()
+case i2() => extends _
+case _ =>
+case i3: String => Set[Int](new i1())
+def this(i1: Int, i2: Int, i4: Int) = 0
+case _ =>
+}
+}
diff --git a/tests/fuzzy/comment10.scala b/tests/fuzzy/comment10.scala
new file mode 100644
index 000000000000..48976e70f346
--- /dev/null
+++ b/tests/fuzzy/comment10.scala
@@ -0,0 +1,22 @@
+class i0 {
+type i1 = {
+override def toString <: i2
+def i2: i0 { type i2 = i1 } = i2.i2 }
+}
+trait i2 {
+type i1
+def i2[i2](i2: i2): i0[i2]
+}
+new i2[i2] {
+type i2 = i2[i2]
+val i2: i0[_] & i2[i2] = Nil
+}
+class i2[i2] {
+def i2(i2: Function1[i1[_]]): Either[Dynamic] = i2
+def i2[i2 <: String](implicitly: i2[_]): i2[i2] = null
+}
+object i2 {
+val i2: Seq[_] = sys.error("")
+val i2 = Seq(new i2)
+Console.println(i2[i2].i2)
+}
diff --git a/tests/fuzzy/comment11.scala b/tests/fuzzy/comment11.scala
new file mode 100644
index 000000000000..bbf73adc3090
--- /dev/null
+++ b/tests/fuzzy/comment11.scala
@@ -0,0 +1,20 @@
+<iI6>{I6}#I6{}
+val I3 = new I2 with i0[Any]((I6: Int) I6> new toInt) implicit def I3[i5[_]]( I2: I2[I6, I6])#I2[I6]] = ???
+def I2[I6 <: I1] = new i0[I6] {
+def I6(scala.I6: Array[I1]) = {
+val i5 = None
+I6 = i5.asInstanceOf[Double]
+}
+I2.I6 == if (!I2.I6 =!= +I6' + I6 + I6 - 10) || I4 == true
+case None => !1
+def this() = 1
+}
+trait i5 {
+type I2 >: Null
+def I6( I2: List[Long, Nothing] = ???
+I6(I6) +=( I6)
+}
+private var I6 extends i0[I6, I6] with I6[Int] {
+var I2: I1[Option] = I6 with Dynamic {
+val I1 = new Array[Nothing](1, 2)
+}
diff --git a/tests/fuzzy/comment12.scala b/tests/fuzzy/comment12.scala
new file mode 100644
index 000000000000..1db0382f73b5
--- /dev/null
+++ b/tests/fuzzy/comment12.scala
@@ -0,0 +1,12 @@
+class i0[i1]
+class i1 extends i0[Int]
+object i0 {
+implicit val i2: i1 { type i1 = i1; object i2 {}
+def i2[i1, i2 <: i1 <: i0[i2]](implicit i2: i1): i0 { type i2 = i1; }
+trait i2[+i2[i2]] {
+def i2[i2[i2] <: i0[i2], i2](i2: i0[i2]): i2[i2] =
+i1 match {
+case i1: i2[i2] => i2
+case i2: i2[i2] => i2
+}
+}
diff --git a/tests/fuzzy/comment13.scala b/tests/fuzzy/comment13.scala
new file mode 100644
index 000000000000..40288a33ffef
--- /dev/null
+++ b/tests/fuzzy/comment13.scala
@@ -0,0 +1,20 @@
+object i0 {
+abstract class i0[i0, i0, i0, i0] {
+val I1 = new i0
+val I1: Int = I1 {
+val I1 = I1
+}
+}
+object I1 {
+def I1[I1 >: i0, I1 >: I1]: i0[i0, I1] = i0[i0]
+def I1() i0 = i0
+import I1.i0()
+}
+}
+trait I1[-I1, +i0[i0 <: I1] <: I1#i0[(i0, I1, I1], I1 <: i0)] {}
+class I1 {}
+object i0 {
+type i0[i0] <: i0[i0, I1]]
+}
+trait I1
+class I1 extends i0
diff --git a/tests/fuzzy/comment14.scala b/tests/fuzzy/comment14.scala
new file mode 100644
index 000000000000..42562cb50d17
--- /dev/null
+++ b/tests/fuzzy/comment14.scala
@@ -0,0 +1,24 @@
+object i0 {
+class i0 {}
+case class I2() {}
+}
+(I2 _*)
+}
+trait I2[I2] {
+val I2: I2
+type I2 = super.I2
+}
+class I2[I2] { class I2 extends i0[I2]
+}
+class I2 {
+def I2[I2 <: I2](implicit I2: I2 => I2): i0 = ???
+I2() }
+class I2 extends { lazy val I2 = this type i0 }
+trait i0 extends i0 with I2 {
+I2: I2 =>
+}
+implicit def I1: I2[I2] = collection.I2
+}
+object i0 {
+val I2 = new I2
+}
diff --git a/tests/fuzzy/comment15.scala b/tests/fuzzy/comment15.scala
new file mode 100644
index 000000000000..f8ad01e6f385
--- /dev/null
+++ b/tests/fuzzy/comment15.scala
@@ -0,0 +1,20 @@
+object i0 {
+def I1[i6](i6: I1)(implicit i6: i6 => Boolean = this, i6: Int) = 0
+val i6 = I1(i6[String] )
+def i6[i6 <: i6](implicit i6: i6[i6], i6: i6[i6]): i6[i6] = i6
+def i6[i6](i6: i6[i6]): i6[i6] = Nil
+def i6[i6](i6: List[I1]): i6[I1, i6] = new I1[i6]
+def i6[I1: i6, I1](I1: i2 => Seq[i6]) match {
+case i6 => I1 match {
+case i6' | I1(i6) < 2
+}
+def i6[@specialized I1, i2 >: i2, I1, i6, i2, i3, I4, i2, i2, i2, i3, I4, i5, i2, i6, i6](i2: i6, i6: I1, I4: i6)(i5: i6[I1, I1, i6, i6, i6, i6, i6, i6 <1, i6, i3, I4, i6, i6, i6, I1, I1, i2, i2, i2 i3, I4, i6, i6, i6] => I1): i6
+}
+class i6[i6](val i6: i6[_]) {
+def I1[@specialized i6: i6](i6: String) = i6(i6); i2(_) { implicit I1: i6[new] }
+def i2(i3: I1): i6 { type I1 = I1[i6]
+type I1 = i6[i6]
+override case val I1: i6[(i6, i6)]) = i6 match {
+case i6: I1[_] =>
+}
+}
diff --git a/tests/fuzzy/comment16.scala b/tests/fuzzy/comment16.scala
new file mode 100644
index 000000000000..0bbe273eabd4
--- /dev/null
+++ b/tests/fuzzy/comment16.scala
@@ -0,0 +1,8 @@
+class i0[@specialized i0] {
+def i1: i0
+}
+trait main extends i0 {
+class i1 {}
+var i1 = 0
+var i1 = new i1
+}
diff --git a/tests/fuzzy/comment17.scala b/tests/fuzzy/comment17.scala
new file mode 100644
index 000000000000..1056e85165b1
--- /dev/null
+++ b/tests/fuzzy/comment17.scala
@@ -0,0 +1,9 @@
+import language.i0
+@scala.AnyRef
+object i1 {
+  def i2(i3: String) = 2
+  def I4(i3: String): Any = None
+  trait i5 {}
+  def I6[i7 <: _[_]](i7: i7[i7])(implicit i7: i5[i7]): i7 = i2 + i2 +  + i1() yield i7
+  i2(i5, this)
+}
diff --git a/tests/fuzzy/comment2.scala b/tests/fuzzy/comment2.scala
new file mode 100644
index 000000000000..8b4683edeb68
--- /dev/null
+++ b/tests/fuzzy/comment2.scala
@@ -0,0 +1,9 @@
+object i0 {
+def i1() = {
+var i2: Any = new Array[this]()
+i2.i5(0) += 123
+val i6: 3 = 'i2('i219, 'i3')
+i16 = 2 }
+object i19 {
+def i15(i12: => Any): String = 1
+}
diff --git a/tests/fuzzy/comment3.scala b/tests/fuzzy/comment3.scala
new file mode 100644
index 000000000000..93a5bef1787a
--- /dev/null
+++ b/tests/fuzzy/comment3.scala
@@ -0,0 +1,8 @@
+class i0 {
+private var main(i1: String): Unit = {
+class i2 extends AnyRef {
+def i3 = 0
+}
+def this() = { this(i4); i3 }
+}
+}
diff --git a/tests/fuzzy/comment4.scala b/tests/fuzzy/comment4.scala
new file mode 100644
index 000000000000..b63ce070ff9d
--- /dev/null
+++ b/tests/fuzzy/comment4.scala
@@ -0,0 +1,31 @@
+class i0 {
+type Ordering[i1, i2] = (=> i3[i1])
+def i4[i2, i3](i5: i1): i4[Any]
+i8 += i14 {
+type i4[+i9] = i5
+def i7: Int = i6(5)
+class i9[i10 <: i16 <: i4[_], i12](val i14: i11[_], i4: i11) {
+def i16[i14 >: i1]: i0 = ???
+implicit def i13[i4](i5: (=> i6)): i1[i6]
+type i13[i7] = i13[i7]
+def i8[+i1[+i2] <: i0[i1]]](i9: => ii5[i7]): i7[i5] = sys.error();
+def i10(i11: i4[i10.i4])(implicit i8: i0[i6#i0]) = i4 * i7 i5 i4! this match {
+case i14(i9) => 3 }
+}
+class i10 {
+type i13 = i10.i8
+val i11 =
+var i21 =
+case class Tuple1(i3: i1, i4: i4, i6)
+}
+(new i10(i13))
+}
+}
+package i1.i0
+object i12 {
+def i9(i10: i1)(implicit i9: i8[Boolean]) = implicitly[i9](i10: Any, i4, i9) {}
+case class i9[i14[i2]](i16: i11[i8[i2]]) extends i10[i4, i14] {
+def this(i11: i12) = {
+val i5 = new i5[Int, Int]
+}
+}
diff --git a/tests/fuzzy/comment5.scala b/tests/fuzzy/comment5.scala
new file mode 100644
index 000000000000..19f3578fbbf3
--- /dev/null
+++ b/tests/fuzzy/comment5.scala
@@ -0,0 +1,4 @@
+import
+object i0 {
+def i1[i2[_]](implicit i3: i2[Int]) = ()
+i1(()) }
diff --git a/tests/fuzzy/comment6.scala b/tests/fuzzy/comment6.scala
new file mode 100644
index 000000000000..1f0c127bf2bb
--- /dev/null
+++ b/tests/fuzzy/comment6.scala
@@ -0,0 +1,7 @@
+abstract class i0 {
+def i1(i2: Int)(i3: Int): Int
+<i1> tailrec match {
+case i2: i2[Int] => 15
+case '- ' ' =>
+new i1(42)
+}
diff --git a/tests/fuzzy/comment7.scala b/tests/fuzzy/comment7.scala
new file mode 100644
index 000000000000..485b22eb1ed6
--- /dev/null
+++ b/tests/fuzzy/comment7.scala
@@ -0,0 +1,13 @@
+object i0 {
+def unapply(i1: Int)(i6: List[Int]): Int = {
+case _ => case _ { if (true) i6 } }
+def i7(i8: i0) = i1 match {
+case i0(_) =>
+(i1, i8) match {
+case i0(i1, i1) => case _ => i2
+}
+}
+object i5 {
+import collection.mutable._
+try { ??? mutable { case i1(i5, i3, i4) => i5 })
+}
diff --git a/tests/fuzzy/comment8.scala b/tests/fuzzy/comment8.scala
new file mode 100644
index 000000000000..c2a695de3c9d
--- /dev/null
+++ b/tests/fuzzy/comment8.scala
@@ -0,0 +1,29 @@
+case class i0[i1, i4](i4: i1)
+object i4 {
+implicit def i4[i1: i0](i4: i1): i1
+def i4[i4[_], i4[_], i4[i4]](i4: i1[i4]): i4[i4] = null
+}
+class i1 extends i4 {
+case _ =>
+}
+val i1 = new i0 {
+type i1[i4] = i4 with i0[i4]
+trait i1 extends i4 {
+type i1[i4] = i1 type i4 = i4#i4 def i4[i4 >: i4](i4: => i4): i4.i4[_ <: i4] = i4
+i4(i1, i4: i4)
+def unapply(i2: i4) = sys.error("")
+}
+trait i4
+trait throw {
+val i3: i4 = i4(5, i1: i1,
+i4: i4)
+def i3: i4[Int] = i1(null: Any) i3(0, i1())
+println(i3 <= i4)
+}
+object i1 {
+implicit def i1(i4: i4): Int
+def i1[@specialized i4 <: i4[i4]](i1: i4): i4[Int]
+def i1[@specialized i4, i4 <: i1](i4: i4): i4[i1[i4]] = new i4[i1] {
+val i1 = (new i2.i1
+}
+}
diff --git a/tests/fuzzy/comment9.scala b/tests/fuzzy/comment9.scala
new file mode 100644
index 000000000000..7dd789fc6cda
--- /dev/null
+++ b/tests/fuzzy/comment9.scala
@@ -0,0 +1,10 @@
+package i0
+trait i0 {
+type i0
+type i0[i1] = { def I2 = if (I2) i0 }
+println( + I2 + i1)
+}
+object I2 {
+def I2(I2: String): Boolean = ???
+inline def List(i1: String, val I2: Int) = 1
+}
diff --git a/tests/fuzzy/d20a22b54bc6081775291bc917375d06156546b0.scala b/tests/fuzzy/d20a22b54bc6081775291bc917375d06156546b0.scala
new file mode 100644
index 000000000000..9c186aa22533
--- /dev/null
+++ b/tests/fuzzy/d20a22b54bc6081775291bc917375d06156546b0.scala
@@ -0,0 +1,45 @@
+object i0 {
+sealed trait i1
+class i2 {
+class i3 {
+def unapply(i4: i1): AnyRef
+}
+trait i3 {
+val i1: _;
+var i3: Int = 0
+var i2: i2[i1] = None
+def i5: i1;
+def i6: i7.i1
+type i8; type i6 <: i6 }
+def i7(i10: Int) = ???
+def i10: Unit = { i7 = "" }
+implicit main object i10 extends i8 with i5 {
+type i9 = Stream[i6, i4]
+val i10: i7.{ i3 => true }
+}
+val i11: i1 | Int : Int = null;
+import i2.{ i2: i1, i2 < 22, i12, i15 }
+trait i18 extends i4 with i8.i9(i9)
+trait i5
+type i9 = { type
+sealed trait i1[i6]
+trait i7[+i2, +i8]
+@specialized i9 trait i10[-i2, -i6]
+trait i7[i10 <: i4[i1, i5]]* (i1, i9 <: i12;
+i9[this.type](i10, i2 => Any))
+def flatMap[i9, i10](i10: => => i0[i9, i2]): Unit, i17]: i2 = 10 <[Comparable i10] def i14[i5](i13: i0[List, i8[type]]): Unit = {}
+i7[Int]()
+i6(true): i0[i1, i2] = i9(i4, 9)
+def i17(): Unit
+protected[this] final def i14[_, i4](i12: Int) = i10
+}
+class i1 Array def i2[i1, i9](i17: i7, i8: i6) {
+def map[i9](i10: Array[i7]) = asInstanceOf[this.type]
+}
+object i13 {
+def unapply[i2](i10: Boolean): Option[i0] = i10 match {
+case i11(i1) => implicitly[Int] def i16[i15]: Any =
+i4 match {
+case i11[@Option(Int, _) =>
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/d64eca0bd5520ca9551c97c6e0190ff6c81bd7eb.scala b/tests/fuzzy/d64eca0bd5520ca9551c97c6e0190ff6c81bd7eb.scala
new file mode 100644
index 000000000000..b4cba8cd40b1
--- /dev/null
+++ b/tests/fuzzy/d64eca0bd5520ca9551c97c6e0190ff6c81bd7eb.scala
@@ -0,0 +1,6 @@
+trait i0 {
+type i1 = i2.this.i2
+def i3() = {
+val i4: i5.i2 = new _;
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/d7239fc91a514de20e29078cf7f8a4fac6c2f2c3.scala b/tests/fuzzy/d7239fc91a514de20e29078cf7f8a4fac6c2f2c3.scala
new file mode 100644
index 000000000000..6c3837d2ec9c
--- /dev/null
+++ b/tests/fuzzy/d7239fc91a514de20e29078cf7f8a4fac6c2f2c3.scala
@@ -0,0 +1,4 @@
+object i0 {
+final val i1: Double = 1.0
+def i2(i3: => Int): Unit =
+i1.asInstanceOf[List[(_ with contains).i4.i1.size(i1) }
\ No newline at end of file
diff --git a/tests/fuzzy/d89176c23ea5b39655535152b1f47fa2a883ba89.scala b/tests/fuzzy/d89176c23ea5b39655535152b1f47fa2a883ba89.scala
new file mode 100644
index 000000000000..0126f552bc9a
--- /dev/null
+++ b/tests/fuzzy/d89176c23ea5b39655535152b1f47fa2a883ba89.scala
@@ -0,0 +1,34 @@
+object i0 {
+def toString = 0-2
+var i1: i1; def i1 =
+-+2
+i1 match { i2 =>
+if (false)[Seq[_]]
+ (_: Tuple1 ) while (i1, )
+val (i2, i3) = (true: String) ](2) (_ => 4))
+}
+val i4 = (List("i3 i4)
+def i5 = 3.0;
+}
+class i4[i9 <: i0 { selectDynamic[i2](implicit i6 => i4, ): Long <i1 : i1) private { i3 =>
+ki3 i4 i19 case 4
+}
+implicit object i5 {}
+lazy class i6(val i2: Int, i7: Int = i2): {
+def i2(i3: PartialFunction[List[Int])] {}
+}
+enum if (6 i2 1) 2
+lazy match {
+case i7: Boolean => 5 if (i54: (Int, Unit), None) Some(null.Nil(7) == 1)
+}
+i3(i4(0), None)
+class> {
+case i10 | #i4` => Double
+}
+.i5'
+def i5(i6: Int)(i5): i0 = {with() }.final class k160(); 1; i2; }
+i5 = 1 == i7 => }
+@@unapply
+def <:+=[i1](i9: Array[List](Some(private.toString)) match {type Set[i4](i10: "Double, i4(i10: => Int) = null }
+= true
+}
\ No newline at end of file
diff --git a/tests/fuzzy/d9366dfb4c3f01352f197fec820c771a96500a98.scala b/tests/fuzzy/d9366dfb4c3f01352f197fec820c771a96500a98.scala
new file mode 100644
index 000000000000..931520fc7264
--- /dev/null
+++ b/tests/fuzzy/d9366dfb4c3f01352f197fec820c771a96500a98.scala
@@ -0,0 +1,11 @@
+object i0 {
+if (val i1: Int) => i2
+class i3 extends i1
+val i4 = new _
+val i5 = i1(i4, )
+def i6(i5: String)(i6: => i3.asInstanceOf[String]) = i4.length
+}
+object i7 {
+import i6._
+val i7: Int = 1
+val i1 = new i2() }
\ No newline at end of file
diff --git a/tests/fuzzy/dc03aa91b83c86d65e5e5323e17b773e0d265ec2.scala b/tests/fuzzy/dc03aa91b83c86d65e5e5323e17b773e0d265ec2.scala
new file mode 100644
index 000000000000..06f2f99029ad
--- /dev/null
+++ b/tests/fuzzy/dc03aa91b83c86d65e5e5323e17b773e0d265ec2.scala
@@ -0,0 +1,20 @@
+object i0 {
+trait i1 {}
+class i2 { }
+object i3 {
+implicit def Array[i4 <: i2]: i1 = 'i3 _ def i4: i3.this.type = ???
+}
+class i5 extends i2 {
+def i6: Int
+}
+object i7 {
+def i8(i9: Boolean): i0 = ???
+type i7 = i7#i2 with i2 {
+var i11: i4
+val i15 = .i10
+}
+object i15 {
+def i13: Int = 1
+}
+new i7{i9.i4().i6();
+}
\ No newline at end of file
diff --git a/tests/fuzzy/dc731deada78bc82a0367866d3b7be065344d6f3.scala b/tests/fuzzy/dc731deada78bc82a0367866d3b7be065344d6f3.scala
new file mode 100644
index 000000000000..a27370e08141
--- /dev/null
+++ b/tests/fuzzy/dc731deada78bc82a0367866d3b7be065344d6f3.scala
@@ -0,0 +1,9 @@
+trait i0(i2: i0 with _, i1: String)
+object i3 {
+def this(i1: i1): Option[i2]@case i1 => { object i3 } catch { case 4 @ _ => _ }
+}
+new i0 {
+implicit def i4: Any = super[String]
+}
+trait i3
+class i4 extends import +({ classTag) => i5 }(Tuple2.i6) }
\ No newline at end of file
diff --git a/tests/fuzzy/dea0cf7fd832a6f39963ddda6ffd89b336d18808.scala b/tests/fuzzy/dea0cf7fd832a6f39963ddda6ffd89b336d18808.scala
new file mode 100644
index 000000000000..f9e4c30012e3
--- /dev/null
+++ b/tests/fuzzy/dea0cf7fd832a6f39963ddda6ffd89b336d18808.scala
@@ -0,0 +1,7 @@
+object i0 {
+inline def i1[i2[-i3]](implicit i1: i4[Int]): Unit = {
+val i2: i2[i1] = new i0(0)
+def this(i3: String) =
+new i1(10 => i3.i3())
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/e5958babfe7651fc7a2bcc847d75f8fb1d86239d.scala b/tests/fuzzy/e5958babfe7651fc7a2bcc847d75f8fb1d86239d.scala
new file mode 100644
index 000000000000..09348afefb54
--- /dev/null
+++ b/tests/fuzzy/e5958babfe7651fc7a2bcc847d75f8fb1d86239d.scala
@@ -0,0 +1,21 @@
+trait i0 {
+type i1 <: String;
+val i2: i1;
+val i3: i1;
+type i4;
+trait i5 extends i1 {
+type i2 <: i3
+}
+object i0 {
+implicit def i6(i7: i0) = i6.isInstanceOf[i5](i7)
+def i8: i1 = new i1();
+def i9(i10: i7): String = {
+def i10(i9: Boolean): i1.i2 = i11.i7;
+val i11: i13.i4 = ???
+def i12(): Unit = {
+def i10(i11: i4): i11.i1.asInstanceOf[_ <: i4.type]
+}
+object i10 {
+new i4().i2().i3()
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/e7bb3c4598709966b31dbec096e11229922d4eb7.scala b/tests/fuzzy/e7bb3c4598709966b31dbec096e11229922d4eb7.scala
new file mode 100644
index 000000000000..75419e7e1014
--- /dev/null
+++ b/tests/fuzzy/e7bb3c4598709966b31dbec096e11229922d4eb7.scala
@@ -0,0 +1,13 @@
+class i0(i1: Seq[_]) extends this {
+def i2: Int =
+i2 match {
+case i3() => ()
+case 2 => println();
+case _: Any => println();
+trait i4 {
+println()
+1 * i3(i2 == ) {} finally { case i5: i4 =>
+case _class i6(i2: Int) { i5 =>
+if (contains)
+i0.toList(println(((new i2())) == 1) }
+}
\ No newline at end of file
diff --git a/tests/fuzzy/ed71e8db3233023ed7a8795d01bbc03b6b063a8b.scala b/tests/fuzzy/ed71e8db3233023ed7a8795d01bbc03b6b063a8b.scala
new file mode 100644
index 000000000000..24681fd51296
--- /dev/null
+++ b/tests/fuzzy/ed71e8db3233023ed7a8795d01bbc03b6b063a8b.scala
@@ -0,0 +1,12 @@
+class i0 {
+def i1: Nothing = {
+def this(i2: Dynamic): Int = i2.i3(i4: _*)
+}
+}
+var i3 = 0
+override def i4: Unit = {
+i3 =
+val i5: i3 = i1(_) {
+lazy val i6: (String => Set[String] => i7.asInstanceOf[i1]
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/eea72c2d04f6938ea4c9007a9acf580a9862639a.scala b/tests/fuzzy/eea72c2d04f6938ea4c9007a9acf580a9862639a.scala
new file mode 100644
index 000000000000..331110d3e341
--- /dev/null
+++ b/tests/fuzzy/eea72c2d04f6938ea4c9007a9acf580a9862639a.scala
@@ -0,0 +1,13 @@
+object i0 {
+def main(i1: Array[String]): Unit = {
+val i2: Int = 1
+val i3 = new i0
+println
+val i1: Int = 1
+val i2 = 0
+case class i3() extends i1
+def i7 = 4
+def i8 = ""
+val i9: Int = { 9 }
+implicitly[Int]
+}
\ No newline at end of file
diff --git a/tests/fuzzy/efb3abc8bfefc00aa3787ba958f697d7159e1dee.scala b/tests/fuzzy/efb3abc8bfefc00aa3787ba958f697d7159e1dee.scala
new file mode 100644
index 000000000000..703aefefefb9
--- /dev/null
+++ b/tests/fuzzy/efb3abc8bfefc00aa3787ba958f697d7159e1dee.scala
@@ -0,0 +1,11 @@
+trait i0[i1] {
+type i2 <: i1[_ <: i0[_]]
+class i3[i1[+i5]]
+class i2[i3]
+class i6[i1]
+class i5[i1]
+object i0 {
+val i7: i1 = new i6 { type i1 = i5.i3 }
+type i5 <: i3#i2 {
+type i6 type i5 <: Ordered[this.type]
+def i6: i2[Int] }
\ No newline at end of file
diff --git a/tests/fuzzy/eff46343d34261c03ec1223a254a3d39587f8d96.scala b/tests/fuzzy/eff46343d34261c03ec1223a254a3d39587f8d96.scala
new file mode 100644
index 000000000000..dc5ea08f57d1
--- /dev/null
+++ b/tests/fuzzy/eff46343d34261c03ec1223a254a3d39587f8d96.scala
@@ -0,0 +1,20 @@
+object i0 {
+def apply(i1: Int) = {
+def this(i1: String) = this(0)
+def i2() = i1 = i2
+def i3(i2: Seq[_)] = Some(null)
+}
+object i4 {
+def main(i5: Array[String]): Unit = {
+class i6
+class i7
+class i6 {
+def i5(): String = ""
+}
+class i6(val i7: Int) { class i8 extends i4() {
+def i5 = i7 + i1;
+def i9 =
+new i1()
+println(i1(37))
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/f181ded4073f5dbe2819dc049b01f3165ac5fd36.scala b/tests/fuzzy/f181ded4073f5dbe2819dc049b01f3165ac5fd36.scala
new file mode 100644
index 000000000000..c0125da7b460
--- /dev/null
+++ b/tests/fuzzy/f181ded4073f5dbe2819dc049b01f3165ac5fd36.scala
@@ -0,0 +1,21 @@
+package i0 {
+trait i1 {
+def i2: String =
+def i3(implicit i4: Any) = this()
+}
+trait i5 extends i0 {
+def i3: Int = 41
+def i6 = i4
+}
+class i7 extends i3 {
+override def i1 = {
+trait i7[i3]
+type i4[i3, i8] <: i7[i4, i5]
+def i8[i9[_], i5](i6: i1[i2]): i0[i6] = i7
+def i9[i4](i5: i5)(implicit i9: i8[i6, i6]): i6[i7, i7] = i8
+def i10[i2, i3](i4: i2[i8]): i1[Int] = i6(i5)
+object i12 extends i4[Any, i12] def i11[i7](i12: i8)(implicit i16: i1): i4[i2, i5] = ???
+implicit val i13: i1[Boolean] = i9
+val i16: i0[i11, i2[i12]] = (this: Any): this.type =>
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/f8d98c8fcb9b0c66058a3dc04221582ef21f30c2.scala b/tests/fuzzy/f8d98c8fcb9b0c66058a3dc04221582ef21f30c2.scala
new file mode 100644
index 000000000000..70c379ce2bbc
--- /dev/null
+++ b/tests/fuzzy/f8d98c8fcb9b0c66058a3dc04221582ef21f30c2.scala
@@ -0,0 +1,17 @@
+trait i0 extends Any
+abstract class i1 {
+type i2 <: i3
+def i3(i4: i1): i3
+}
+trait i4 extends i0 { i5: i1 @ _, i8: Int => } type i9 = i0.this.i6 } // error
+}
+object i11 extends i1 {
+trait i1 <: Ordered[i1] with i4#i10.i7
+val i9 = new i1 { type i2 <: i4 } }
+val i12: i3 & i6 & i5 = ???
+def i10(i10: i1) = i15 match {
+case i12 =>
+i7
+}
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/f901d61a9bc6053c910245552c74c4c73e43efe0.scala b/tests/fuzzy/f901d61a9bc6053c910245552c74c4c73e43efe0.scala
new file mode 100644
index 000000000000..d51f45a67b09
--- /dev/null
+++ b/tests/fuzzy/f901d61a9bc6053c910245552c74c4c73e43efe0.scala
@@ -0,0 +1,13 @@
+object i0 {
+(null: Any) match {
+case 1 , i1 @ (false)('i2', 'i3') <- flatMap(i4: Int, ) =>
+true
+type i0[i1] >: i2 <: i1[i2]
+val i9: i2[scala] = i9
+lazy i10 :: i7 === i8
+i10[i3]('.i9', i7 == i10)
+def <(i6: List[i1]): i4[i9, i10]
+def i2(i3: i0 { type i6 <: mutable ; def Float[i77: i8]; i10, i18) }
+trait i11[i4] {
+def apply[i3 >: i14, i4 <: i60i4]: i3[i11, i10] = new i15[i2] {
+def i2[i9](i11: i4, i15: String)(val i13: i7[i5 mkString { type i6[i7] = i3] })#i6] = Some(i11) i12 }
\ No newline at end of file
diff --git a/tests/fuzzy/fa895929a0991e2b6747201ab2e9522b7869423c.scala b/tests/fuzzy/fa895929a0991e2b6747201ab2e9522b7869423c.scala
new file mode 100644
index 000000000000..632fb48f9977
--- /dev/null
+++ b/tests/fuzzy/fa895929a0991e2b6747201ab2e9522b7869423c.scala
@@ -0,0 +1,52 @@
+object i0 {
+val i1: Int = 2
+override def i2 = 4
+def i3 = 4
+private def i4: Unit = {
+val i3 = true
+(new
+k326.i0
+abstract class i2[i3] {
+def this(i4: Array[String]): Unit =
+}
+def i5: Equiv[Boolean] = reflect.i5(i2)
+object i6 {
+var i4: i2 = ???
+def i7(i8: i1): i1
+def i9: i1 = ???
+val i10 = ???
+val i10: i1 = ???
+val i14: i2 = ???
+i19.i9((0) => ???
+}
+class i12 {
+implicit def i7(i11: String): i1 = ???
+def i11: i6 = ???
+}
+trait i11 {
+class i2 extends AnyRef with i8;
+trait i9 extends new i16 {
+type i2 <: i0
+}
+object i7 {
+lazy val i9: i1 = ???
+}
+trait i10 {
+def i10: i3.i2
+}
+trait i10 {
+type i10 <: String val i11: i16.type = new i4 { type i6 = Int } = ??? val i11 = i8()
+val i11: i5 = ???
+}
+abstract class i13 extends i2 {
+val i1: i2 = ???
+}
+trait i7 {
+private val i10: i1 = ???
+}
+object i19 {
+def i10(i11: List[_]) = i12 match {
+case i6: i4 => println()
+case _ => Double
+}
+}
\ No newline at end of file
diff --git a/tests/fuzzy/fa9901359760c3dfeea8a38df42538050db587fa.scala b/tests/fuzzy/fa9901359760c3dfeea8a38df42538050db587fa.scala
new file mode 100644
index 000000000000..0a222a4a85f0
--- /dev/null
+++ b/tests/fuzzy/fa9901359760c3dfeea8a38df42538050db587fa.scala
@@ -0,0 +1,29 @@
+trait i0 {
+type i1 >: Null <: Any
+val i2: Singleton = i1
+}
+object i6 {
+val i5: i0 { type
+type i7 <: i1
+type <-:
+i1,
+-i9,
+i1,
+i13,
+i15 <:< i1,
+i17{i10] = ???
+}
+class i16(i1: i11, i28: Int) extends AnyVal class i16(protected Either) extends i6 {}
+object i16 {}
+trait i11 { class i15 {
+def i1: (Int => i2)
+}
+}
+object i1 {
+class i2
+case object String object i4 extends i4
+}
+class i5 {
+override val i1 = new i0
+println(i9.i2.mkString)
+}
\ No newline at end of file
diff --git a/tests/fuzzy/fb365ec2e9f49b0963553f410a39d839e184b485.scala b/tests/fuzzy/fb365ec2e9f49b0963553f410a39d839e184b485.scala
new file mode 100644
index 000000000000..f42141107aec
--- /dev/null
+++ b/tests/fuzzy/fb365ec2e9f49b0963553f410a39d839e184b485.scala
@@ -0,0 +1,12 @@
+class i0[i1[_]] {
+type i2[i3] = i1[String] {
+type i4 = i2 { type i2 }
+def i5: Array[List] = classOf 
+i4()
+val i6: i1[String] = Array(1, 2, 3)
+def i7: i0[_] = i2 + 1
+}
+object i8 {
+implicit def i6(i7: i0[String]): i4[String] = {
+implicit def i8[i2]() = classOf("")
+}
\ No newline at end of file
diff --git a/tests/fuzzy/fbeb627f550e8786ba5b9f81cdc2558c8fc6c1e0.scala b/tests/fuzzy/fbeb627f550e8786ba5b9f81cdc2558c8fc6c1e0.scala
new file mode 100644
index 000000000000..c7246fcff49c
--- /dev/null
+++ b/tests/fuzzy/fbeb627f550e8786ba5b9f81cdc2558c8fc6c1e0.scala
@@ -0,0 +1,15 @@
+package i0
+trait i1[i2]
+object i3 {
+def i4[i2[_]](i5: i0[i1]): i0[i1] = new i2[i1] {}
+def i6[i4[_], i5](i6: i2[i3]): i4[i2] = null
+}
+object i7 {
+implicit def i8[i9]: i7 = null
+implicit def i11[i1, i2](i9: i4[i1]): i1[i2] = sys.error("")
+}
+object i10 {
+def i11[i15](i11: i1[i1, i12]): Unit = {}
+implicit final def i11[i2](i3: i1)(implicit i10: i12) =
+new i10(List(1, 2, 3))
+}
\ No newline at end of file
diff --git a/tests/fuzzy/fd0fff9cf5a3c608485c0a1b95ad5fd6d8db7246.scala b/tests/fuzzy/fd0fff9cf5a3c608485c0a1b95ad5fd6d8db7246.scala
new file mode 100644
index 000000000000..f79669aee493
--- /dev/null
+++ b/tests/fuzzy/fd0fff9cf5a3c608485c0a1b95ad5fd6d8db7246.scala
@@ -0,0 +1,4 @@
+class i0 {
+def i1(i2: String) = ???
+val i3: 'i2 = null.asInstanceOf[Some]
+}
\ No newline at end of file
diff --git a/tests/fuzzy/fdff7381025ab9092a1f93c9c145b177bc7d1fcb.scala b/tests/fuzzy/fdff7381025ab9092a1f93c9c145b177bc7d1fcb.scala
new file mode 100644
index 000000000000..52769b167d17
--- /dev/null
+++ b/tests/fuzzy/fdff7381025ab9092a1f93c9c145b177bc7d1fcb.scala
@@ -0,0 +1,6 @@
+object App {
+def main(i0: Array[String]): Unit = {
+trait i1 { type i2; def i3: i2; }
+def this(i4: i0) = new i5(1, ) {}
+}
+}
\ No newline at end of file
diff --git a/tests/pending/fuzzy/0f12f42d878dcd4cb8b8ab62dbfb6b41861989b1.scala b/tests/pending/fuzzy/0f12f42d878dcd4cb8b8ab62dbfb6b41861989b1.scala
new file mode 100644
index 000000000000..11efbddf7197
--- /dev/null
+++ b/tests/pending/fuzzy/0f12f42d878dcd4cb8b8ab62dbfb6b41861989b1.scala
@@ -0,0 +1,7 @@
+object i0 {
+def main(i1: Array[String]): Unit = {
+class i2
+}
+class i3(i4: => String) extends (i1 => (this
+19): Option[String, Int] => 1
+}
\ No newline at end of file
diff --git a/tests/pending/fuzzy/70a87d879bff85bdad921c0feca802ca2bfc974d.scala b/tests/pending/fuzzy/70a87d879bff85bdad921c0feca802ca2bfc974d.scala
new file mode 100644
index 000000000000..8dae43d2771c
--- /dev/null
+++ b/tests/pending/fuzzy/70a87d879bff85bdad921c0feca802ca2bfc974d.scala
@@ -0,0 +1,27 @@
+object i0 {
+type i1 = Nothing {}
+type i2 <: i1
+type i3 <: i4 { type i4 = i4 }
+type i5 <: i0 { type i1 <: i1 }
+type i6 <: i1 { type i7 <: i5.i4 }
+type i4 <: i3 with i8 { type i5 <: i4 }
+def i6: Nothing with i3 = null
+type i7 = i4#i6
+type i8 = i3 = i4
+val i9: i1 = i4
+i5.i6(i7 = 2, i8 @ _) {
+this class i10[i6](i11: i4) {
+def i13(i11: i1): Unit = i12.toList.isInstanceOf[i4](_ })
+class i13 extends i2(i17) with i10 {
+def i14: String = {
+class i11 {
+type i11 <: i13;
+var i12: i3 }
+implicit def i13(i11: i0): i1 = i10(null: i6) {
+def i2 = new i2
+}
+def i9: i4 = {
+val i8 = new i3();
+val i20 = i9();
+}
+}
\ No newline at end of file
diff --git a/tests/pending/fuzzy/9baccf94095f1bd680e9bb75cc552d0784b8b9c2.scala b/tests/pending/fuzzy/9baccf94095f1bd680e9bb75cc552d0784b8b9c2.scala
new file mode 100644
index 000000000000..37e48ac0c47b
--- /dev/null
+++ b/tests/pending/fuzzy/9baccf94095f1bd680e9bb75cc552d0784b8b9c2.scala
@@ -0,0 +1,33 @@
+class i0(i1: Any)
+class i2 {
+implicit def i1(i2: i3): i3.i2 = this
+}
+class i3(val i1: i1) {}
+abstract class i4 {
+override def i0(): i0 = i2;
+}
+{
+def i1(): Any = i2()
+def i1(i2: Int*) = 1
+println(i4)
+List(this: Any) new toString
+List
+class i1[+i2] { def apply(i3: AnyRef) = i2 match { case _: String => println(); () }
+{ val i4 = new i3(1)
+}
+i1: i4 < 2
+i8 = new {
+def i10[i1 >: Null <: String <: reflect.ClassTag]() = this.i3(Int @@ _ => i8)
+}
+}
+object i9 extends i0
+object i2 {
+@final var i7: String = super[i0.i2]
+implicit def i2(i3: i3.i4): Boolean = 8
+def i9[i1](i7: i1)(implicit i10: i0[String]) = i4
+}
+class i18 extends i0[Int] { def i1: Int = 0 }
+class i1 { (i2: Int) => { Some((i7, i5)~ => case List(1, this, i7) })
+class i9[i10 with i2, i10, i10](i11: i3) extends i1[i10, Int]#i12[i5]
+val i11: i4[_] = Stream.i5(i12)
+}
\ No newline at end of file
diff --git a/tests/pending/fuzzy/AE-0226ee1e434532ec3de3137beba3853f20d0989c.scala b/tests/pending/fuzzy/AE-0226ee1e434532ec3de3137beba3853f20d0989c.scala
new file mode 100755
index 000000000000..1235056a78b6
--- /dev/null
+++ b/tests/pending/fuzzy/AE-0226ee1e434532ec3de3137beba3853f20d0989c.scala
@@ -0,0 +1 @@
+trait i0 { trait i1 extends Throwable { false } }
diff --git a/tests/pending/fuzzy/AE-0a77f624d121ddc673c9bd47a23c5b65bd35bc0b.scala b/tests/pending/fuzzy/AE-0a77f624d121ddc673c9bd47a23c5b65bd35bc0b.scala
new file mode 100755
index 000000000000..946da85a75f1
--- /dev/null
+++ b/tests/pending/fuzzy/AE-0a77f624d121ddc673c9bd47a23c5b65bd35bc0b.scala
@@ -0,0 +1,2 @@
+trait i0[I1] extends AnyVal
+case class i2[i3](i4: i0[i3]) extends i0
diff --git a/tests/pending/fuzzy/AE-10dae0ec9130d9652dcc9d86a9dcd040439811ab.scala b/tests/pending/fuzzy/AE-10dae0ec9130d9652dcc9d86a9dcd040439811ab.scala
new file mode 100755
index 000000000000..cf7af08d2691
--- /dev/null
+++ b/tests/pending/fuzzy/AE-10dae0ec9130d9652dcc9d86a9dcd040439811ab.scala
@@ -0,0 +1,3 @@
+object i2{i3 match
+val i2=i2
+implicitly[i2.i1](}}
diff --git a/tests/pending/fuzzy/AE-112d836357c4d2b01d65186233e2f054d8134252.scala b/tests/pending/fuzzy/AE-112d836357c4d2b01d65186233e2f054d8134252.scala
new file mode 100755
index 000000000000..0fd47bee42fe
--- /dev/null
+++ b/tests/pending/fuzzy/AE-112d836357c4d2b01d65186233e2f054d8134252.scala
@@ -0,0 +1,6 @@
+class I0{
+def I0[i1:](;
+()match
+{
+case i2|I0}
+}
diff --git a/tests/pending/fuzzy/AE-1269a5ff86175ddf4edabf6ad706cb136a9003f1.scala b/tests/pending/fuzzy/AE-1269a5ff86175ddf4edabf6ad706cb136a9003f1.scala
new file mode 100755
index 000000000000..f7b9847ff417
--- /dev/null
+++ b/tests/pending/fuzzy/AE-1269a5ff86175ddf4edabf6ad706cb136a9003f1.scala
@@ -0,0 +1,2 @@
+object i0{def i0(i1:Int)=i1
+val i1=i0(i0 i2)=>true}
diff --git a/tests/pending/fuzzy/AE-191128aaee332706ea4ea6bde823a1c1e54c8834.scala b/tests/pending/fuzzy/AE-191128aaee332706ea4ea6bde823a1c1e54c8834.scala
new file mode 100755
index 000000000000..83df1a47a523
--- /dev/null
+++ b/tests/pending/fuzzy/AE-191128aaee332706ea4ea6bde823a1c1e54c8834.scala
@@ -0,0 +1,3 @@
+class i0{
+val i1=Some(i2=i3,)=>
+}
diff --git a/tests/pending/fuzzy/AE-20ed9c3c179e63afbf70e82b8ecb323db178f308.scala b/tests/pending/fuzzy/AE-20ed9c3c179e63afbf70e82b8ecb323db178f308.scala
new file mode 100755
index 000000000000..bf2783a1a8bb
--- /dev/null
+++ b/tests/pending/fuzzy/AE-20ed9c3c179e63afbf70e82b8ecb323db178f308.scala
@@ -0,0 +1,4 @@
+object I0 {
+  type I0 <: I1.Unit
+  def I1: I0 with I2 = ()
+}
diff --git a/tests/pending/fuzzy/AE-2131af55d828086dbf33c31416fe768b74de3ff2.scala b/tests/pending/fuzzy/AE-2131af55d828086dbf33c31416fe768b74de3ff2.scala
new file mode 100755
index 000000000000..f66d4bf324d8
--- /dev/null
+++ b/tests/pending/fuzzy/AE-2131af55d828086dbf33c31416fe768b74de3ff2.scala
@@ -0,0 +1 @@
+abstract class I1{erased val i2:Object}
diff --git a/tests/pending/fuzzy/AE-2251401fe4c14de0510247ea75752a42fcfb237a.scala b/tests/pending/fuzzy/AE-2251401fe4c14de0510247ea75752a42fcfb237a.scala
new file mode 100755
index 000000000000..072db51948be
--- /dev/null
+++ b/tests/pending/fuzzy/AE-2251401fe4c14de0510247ea75752a42fcfb237a.scala
@@ -0,0 +1 @@
+lazy enum i0
diff --git a/tests/pending/fuzzy/AE-23b20eba14de058f02b69cb1093063fe12b639fb.scala b/tests/pending/fuzzy/AE-23b20eba14de058f02b69cb1093063fe12b639fb.scala
new file mode 100755
index 000000000000..fd05a2b444a7
--- /dev/null
+++ b/tests/pending/fuzzy/AE-23b20eba14de058f02b69cb1093063fe12b639fb.scala
@@ -0,0 +1 @@
+class i0(var i1: Unit)
diff --git a/tests/pending/fuzzy/AE-315e2b824e6e35bebc1aab1749b83020ef07e8bc.scala b/tests/pending/fuzzy/AE-315e2b824e6e35bebc1aab1749b83020ef07e8bc.scala
new file mode 100755
index 000000000000..c28258906d5d
--- /dev/null
+++ b/tests/pending/fuzzy/AE-315e2b824e6e35bebc1aab1749b83020ef07e8bc.scala
@@ -0,0 +1 @@
+class i @ this . type ( do return ; while I10 : this . type with this . type ) @ ( super [ I ] . i00 . type { })
diff --git a/tests/pending/fuzzy/AE-3b3b6b8b578c2152ae06a6647f65684de4d4605d.scala b/tests/pending/fuzzy/AE-3b3b6b8b578c2152ae06a6647f65684de4d4605d.scala
new file mode 100755
index 000000000000..adc3bbcea6a6
--- /dev/null
+++ b/tests/pending/fuzzy/AE-3b3b6b8b578c2152ae06a6647f65684de4d4605d.scala
@@ -0,0 +1 @@
+case class i1() extends Any
diff --git a/tests/pending/fuzzy/AE-4cadbe221750f15498a87af48f0fce7ebde76246.scala b/tests/pending/fuzzy/AE-4cadbe221750f15498a87af48f0fce7ebde76246.scala
new file mode 100755
index 000000000000..44c7368683ab
--- /dev/null
+++ b/tests/pending/fuzzy/AE-4cadbe221750f15498a87af48f0fce7ebde76246.scala
@@ -0,0 +1,11 @@
+trait i0 {
+  private object i0
+  class i0
+}
+class i1 extends i0 {
+  class i1 extends i0 {
+    trait i0[i0] {
+      def i1: i0[i0] = new i0
+    }
+  }
+}
diff --git a/tests/pending/fuzzy/AE-4f7e66f7ee706c59e8d8ba100db9d2bf0152b119.scala b/tests/pending/fuzzy/AE-4f7e66f7ee706c59e8d8ba100db9d2bf0152b119.scala
new file mode 100755
index 000000000000..212742be624a
--- /dev/null
+++ b/tests/pending/fuzzy/AE-4f7e66f7ee706c59e8d8ba100db9d2bf0152b119.scala
@@ -0,0 +1,2 @@
+object i0{{def this
+def this}}
diff --git a/tests/pending/fuzzy/AE-51a0a24162ba4b6d7ff8fae378973c5350d2737b.scala b/tests/pending/fuzzy/AE-51a0a24162ba4b6d7ff8fae378973c5350d2737b.scala
new file mode 100755
index 000000000000..6b9770ee7568
--- /dev/null
+++ b/tests/pending/fuzzy/AE-51a0a24162ba4b6d7ff8fae378973c5350d2737b.scala
@@ -0,0 +1,3 @@
+class Foo {
+abstract override var
+}
diff --git a/tests/pending/fuzzy/AE-589637d1f97047c051c4adc3142cfe97f620b471.scala b/tests/pending/fuzzy/AE-589637d1f97047c051c4adc3142cfe97f620b471.scala
new file mode 100755
index 000000000000..afeb9fbc18d2
--- /dev/null
+++ b/tests/pending/fuzzy/AE-589637d1f97047c051c4adc3142cfe97f620b471.scala
@@ -0,0 +1,4 @@
+class i0[i1] {
+  type i2 <: i0[i2]
+  i3: i2[i4] {}
+}
diff --git a/tests/pending/fuzzy/AE-590b5f0762d6fa74c27c27336774c53908181341.scala b/tests/pending/fuzzy/AE-590b5f0762d6fa74c27c27336774c53908181341.scala
new file mode 100755
index 000000000000..0c6501851f17
--- /dev/null
+++ b/tests/pending/fuzzy/AE-590b5f0762d6fa74c27c27336774c53908181341.scala
@@ -0,0 +1,5 @@
+package i0 { package I1 . I1 . i2 { package I1 {
+}
+}
+protected [ this ] private [ I3 ] case object I1 extends { } with this . type @ this . type ( ) @ this . type ( ) with this . type { I1 => ( _ ) => return }
+}
diff --git a/tests/pending/fuzzy/AE-625cc7b5689fa4dee89a84b36f90d9abb926139e.scala b/tests/pending/fuzzy/AE-625cc7b5689fa4dee89a84b36f90d9abb926139e.scala
new file mode 100755
index 000000000000..5f5c18f148dd
--- /dev/null
+++ b/tests/pending/fuzzy/AE-625cc7b5689fa4dee89a84b36f90d9abb926139e.scala
@@ -0,0 +1,3 @@
+class i0 {
+  new collection
+}
diff --git a/tests/pending/fuzzy/AE-68729466e791245d18cb32f1e30b38e9953f15ab.scala b/tests/pending/fuzzy/AE-68729466e791245d18cb32f1e30b38e9953f15ab.scala
new file mode 100755
index 000000000000..09fb7a3a16b4
--- /dev/null
+++ b/tests/pending/fuzzy/AE-68729466e791245d18cb32f1e30b38e9953f15ab.scala
@@ -0,0 +1 @@
+class I0 { Map() { i1: I2 { type I3 } } }
diff --git a/tests/pending/fuzzy/AE-6ab2b244fffa7fe885bf03d6e195c8740dd8748f.scala b/tests/pending/fuzzy/AE-6ab2b244fffa7fe885bf03d6e195c8740dd8748f.scala
new file mode 100755
index 000000000000..94b6ef53c6ce
--- /dev/null
+++ b/tests/pending/fuzzy/AE-6ab2b244fffa7fe885bf03d6e195c8740dd8748f.scala
@@ -0,0 +1,2 @@
+case class i0(i0: i1) extends AnyVal
+trait i1 extends i0
diff --git a/tests/pending/fuzzy/AE-840fa258fbdb4d8aa5b49769f449adfae2f34714.scala b/tests/pending/fuzzy/AE-840fa258fbdb4d8aa5b49769f449adfae2f34714.scala
new file mode 100755
index 000000000000..5f61d3a251e8
--- /dev/null
+++ b/tests/pending/fuzzy/AE-840fa258fbdb4d8aa5b49769f449adfae2f34714.scala
@@ -0,0 +1 @@
+object + extends this . type ( ) ( { } . + = )
diff --git a/tests/pending/fuzzy/AE-854cfacb52282336bde0799f1ddbb5bbef974b59.scala b/tests/pending/fuzzy/AE-854cfacb52282336bde0799f1ddbb5bbef974b59.scala
new file mode 100755
index 000000000000..dbad623954df
--- /dev/null
+++ b/tests/pending/fuzzy/AE-854cfacb52282336bde0799f1ddbb5bbef974b59.scala
@@ -0,0 +1,2 @@
+object I0{trait i2[I1,i2]
+def i2[i2[i2]](i2:i2[)=i2;i2[i2]}
diff --git a/tests/pending/fuzzy/AE-86f761cfdd0d96cda748d11fe449910cdd76e935.scala b/tests/pending/fuzzy/AE-86f761cfdd0d96cda748d11fe449910cdd76e935.scala
new file mode 100755
index 000000000000..7dfbecdf1c00
--- /dev/null
+++ b/tests/pending/fuzzy/AE-86f761cfdd0d96cda748d11fe449910cdd76e935.scala
@@ -0,0 +1 @@
+class scala
diff --git a/tests/pending/fuzzy/AE-9a131723f09b9f77c99c52b709965e580a61706e.scala b/tests/pending/fuzzy/AE-9a131723f09b9f77c99c52b709965e580a61706e.scala
new file mode 100755
index 000000000000..6a7de4da0d2f
--- /dev/null
+++ b/tests/pending/fuzzy/AE-9a131723f09b9f77c99c52b709965e580a61706e.scala
@@ -0,0 +1 @@
+object I0 { val i1: PartialFunction[_, Int] = { case i2 => i2 } }
diff --git a/tests/pending/fuzzy/AE-9fea5208d12255332071a58be4afc5275b9e8d64.scala b/tests/pending/fuzzy/AE-9fea5208d12255332071a58be4afc5275b9e8d64.scala
new file mode 100755
index 000000000000..c369c01cbbd3
--- /dev/null
+++ b/tests/pending/fuzzy/AE-9fea5208d12255332071a58be4afc5275b9e8d64.scala
@@ -0,0 +1 @@
+class i1@
diff --git a/tests/pending/fuzzy/AE-a06e494a26e65d26f0b54341366d959edc0b8ebd.scala b/tests/pending/fuzzy/AE-a06e494a26e65d26f0b54341366d959edc0b8ebd.scala
new file mode 100755
index 000000000000..d77b2e411e72
--- /dev/null
+++ b/tests/pending/fuzzy/AE-a06e494a26e65d26f0b54341366d959edc0b8ebd.scala
@@ -0,0 +1 @@
+object i0{def i1=(i2: @)=>()}
diff --git a/tests/pending/fuzzy/AE-a08bc91c922a8a040c6a8434bad6bc70c32e0614.scala b/tests/pending/fuzzy/AE-a08bc91c922a8a040c6a8434bad6bc70c32e0614.scala
new file mode 100755
index 000000000000..c7ed72510d95
--- /dev/null
+++ b/tests/pending/fuzzy/AE-a08bc91c922a8a040c6a8434bad6bc70c32e0614.scala
@@ -0,0 +1,5 @@
+object I0 {
+  def i1(i2: => Int) = i2
+  def i3[I4, I5](i6: I4 => I5): (I4 => I5) { def apply(i7: I4): I5 } = i6
+  val i8 = i3(i1)
+}
diff --git a/tests/pending/fuzzy/AE-a0a760f3522486caf279b74367aaaa1ff0085b35.scala b/tests/pending/fuzzy/AE-a0a760f3522486caf279b74367aaaa1ff0085b35.scala
new file mode 100755
index 000000000000..a83cd3d3ec65
--- /dev/null
+++ b/tests/pending/fuzzy/AE-a0a760f3522486caf279b74367aaaa1ff0085b35.scala
@@ -0,0 +1 @@
+object I0{List(I1 I2=>}
diff --git a/tests/pending/fuzzy/AE-a8fe93f54666da2bd151aa09bb77b99cfbf0bcd1.scala b/tests/pending/fuzzy/AE-a8fe93f54666da2bd151aa09bb77b99cfbf0bcd1.scala
new file mode 100755
index 000000000000..4e492eab7f4b
--- /dev/null
+++ b/tests/pending/fuzzy/AE-a8fe93f54666da2bd151aa09bb77b99cfbf0bcd1.scala
@@ -0,0 +1,5 @@
+class i0{
+{val i1
+object i1{
+this match}}
+}
diff --git a/tests/pending/fuzzy/AE-ac9906c65ae7b715ce547b314cfb5b55a5bd899e.scala b/tests/pending/fuzzy/AE-ac9906c65ae7b715ce547b314cfb5b55a5bd899e.scala
new file mode 100755
index 000000000000..eda0ea69300b
--- /dev/null
+++ b/tests/pending/fuzzy/AE-ac9906c65ae7b715ce547b314cfb5b55a5bd899e.scala
@@ -0,0 +1,2 @@
+object i0{trait i1[I2,]
+def i1[i1[i1]](i1:i1[;i1[i1]}
diff --git a/tests/pending/fuzzy/AE-b70cbd6d6d8cbfacc4b6c3c7ffc98675c069bcfd.scala b/tests/pending/fuzzy/AE-b70cbd6d6d8cbfacc4b6c3c7ffc98675c069bcfd.scala
new file mode 100755
index 000000000000..2efb500c022b
--- /dev/null
+++ b/tests/pending/fuzzy/AE-b70cbd6d6d8cbfacc4b6c3c7ffc98675c069bcfd.scala
@@ -0,0 +1 @@
+class I0[I1 >: I0[_ <: I0[_]] <: I0[I1]]
diff --git a/tests/pending/fuzzy/AE-b87cc117274089cac48836ae17649813f913643c.scala b/tests/pending/fuzzy/AE-b87cc117274089cac48836ae17649813f913643c.scala
new file mode 100755
index 000000000000..b8061bb1be2c
--- /dev/null
+++ b/tests/pending/fuzzy/AE-b87cc117274089cac48836ae17649813f913643c.scala
@@ -0,0 +1,2 @@
+object i0 { def i1 }
+package i0.i1 { trait i2[@specialized() i3] }
diff --git a/tests/pending/fuzzy/AE-b93b9acb10f049d4b05d788df47b7d6d807dbd7f.scala b/tests/pending/fuzzy/AE-b93b9acb10f049d4b05d788df47b7d6d807dbd7f.scala
new file mode 100755
index 000000000000..d9517f75c67c
--- /dev/null
+++ b/tests/pending/fuzzy/AE-b93b9acb10f049d4b05d788df47b7d6d807dbd7f.scala
@@ -0,0 +1 @@
+case class i1(I2: annotation)
diff --git a/tests/pending/fuzzy/AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala b/tests/pending/fuzzy/AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala
new file mode 100755
index 000000000000..917f41f83b0e
--- /dev/null
+++ b/tests/pending/fuzzy/AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala
@@ -0,0 +1 @@
+class I0 { List(null: _*) }
diff --git a/tests/pending/fuzzy/AE-c14bd29c432580c0f98b5b118daf9a69272989db.scala b/tests/pending/fuzzy/AE-c14bd29c432580c0f98b5b118daf9a69272989db.scala
new file mode 100755
index 000000000000..d9f3200942cb
--- /dev/null
+++ b/tests/pending/fuzzy/AE-c14bd29c432580c0f98b5b118daf9a69272989db.scala
@@ -0,0 +1 @@
+class i0()(i1: Int) extends AnyVal { def i0(I0: Seq[_]) = () }
diff --git a/tests/pending/fuzzy/AE-d0314c9816cfa53edbb3f3e4388c2919f6d426a1.scala b/tests/pending/fuzzy/AE-d0314c9816cfa53edbb3f3e4388c2919f6d426a1.scala
new file mode 100755
index 000000000000..546be456dbf2
--- /dev/null
+++ b/tests/pending/fuzzy/AE-d0314c9816cfa53edbb3f3e4388c2919f6d426a1.scala
@@ -0,0 +1 @@
+class I0[I0]{def flatMap[I0[I0]<:I0[I0],I0[i1<:I0[i1}
diff --git a/tests/pending/fuzzy/AE-d8ff0ae84441d517387a295f10a09f8264b705ba.scala b/tests/pending/fuzzy/AE-d8ff0ae84441d517387a295f10a09f8264b705ba.scala
new file mode 100755
index 000000000000..f58d85290118
--- /dev/null
+++ b/tests/pending/fuzzy/AE-d8ff0ae84441d517387a295f10a09f8264b705ba.scala
@@ -0,0 +1 @@
+trait i0 extends i1 with{def i0(i0:i0=):}
diff --git a/tests/pending/fuzzy/AE-e062f9ba3a810cf8d8cec5fd1b4487c773e0f826.scala b/tests/pending/fuzzy/AE-e062f9ba3a810cf8d8cec5fd1b4487c773e0f826.scala
new file mode 100755
index 000000000000..ec2194da0f0c
--- /dev/null
+++ b/tests/pending/fuzzy/AE-e062f9ba3a810cf8d8cec5fd1b4487c773e0f826.scala
@@ -0,0 +1 @@
+object I0 { { case i2 => null: i2.I4 } }
diff --git a/tests/pending/fuzzy/AE-f0d0c35180eed4ae1515727d2bf3c1f52f8d7e88.scala b/tests/pending/fuzzy/AE-f0d0c35180eed4ae1515727d2bf3c1f52f8d7e88.scala
new file mode 100755
index 000000000000..e0c56ae58769
--- /dev/null
+++ b/tests/pending/fuzzy/AE-f0d0c35180eed4ae1515727d2bf3c1f52f8d7e88.scala
@@ -0,0 +1,7 @@
+object i0 {
+  Nil {
+    class i0 { i1: i2 =>
+      class i1
+    }
+  }
+}
diff --git a/tests/pending/fuzzy/AE-f709fa7523d8627f29080fcedae9cd2b19f3bfc3.scala b/tests/pending/fuzzy/AE-f709fa7523d8627f29080fcedae9cd2b19f3bfc3.scala
new file mode 100755
index 000000000000..724f5812d7e1
--- /dev/null
+++ b/tests/pending/fuzzy/AE-f709fa7523d8627f29080fcedae9cd2b19f3bfc3.scala
@@ -0,0 +1,2 @@
+trait i0{type i0[i1<:]<:i1
+class i2 extends i0[Long]}
diff --git a/tests/pending/fuzzy/CCE-13ba8b92d3fe05412fd9d58c7318ca5e60210aab.scala b/tests/pending/fuzzy/CCE-13ba8b92d3fe05412fd9d58c7318ca5e60210aab.scala
new file mode 100755
index 000000000000..bfe887dd3b53
--- /dev/null
+++ b/tests/pending/fuzzy/CCE-13ba8b92d3fe05412fd9d58c7318ca5e60210aab.scala
@@ -0,0 +1 @@
+class I1()extends(i0=>this)
diff --git a/tests/pending/fuzzy/CCE-3f31ba00cea30842028ab580e5be0270046c682d.scala b/tests/pending/fuzzy/CCE-3f31ba00cea30842028ab580e5be0270046c682d.scala
new file mode 100755
index 000000000000..f6cc373cbf7c
--- /dev/null
+++ b/tests/pending/fuzzy/CCE-3f31ba00cea30842028ab580e5be0270046c682d.scala
@@ -0,0 +1,3 @@
+class i0 {
+  val (_* @ null) = null
+}
diff --git a/tests/pending/fuzzy/CCE-4f5e36de0aad3bdbbf48a7ef0a99ffed2ea2937d.scala b/tests/pending/fuzzy/CCE-4f5e36de0aad3bdbbf48a7ef0a99ffed2ea2937d.scala
new file mode 100755
index 000000000000..8e2644d1a3a5
--- /dev/null
+++ b/tests/pending/fuzzy/CCE-4f5e36de0aad3bdbbf48a7ef0a99ffed2ea2937d.scala
@@ -0,0 +1,3 @@
+class i0 {
+type i0[]<: i0[i1]
+class i1 extends i0[}
diff --git a/tests/pending/fuzzy/CCE-aafcaa9cd2611d22f63273738d637f5bec6e7152.scala b/tests/pending/fuzzy/CCE-aafcaa9cd2611d22f63273738d637f5bec6e7152.scala
new file mode 100755
index 000000000000..c750e3e8a0e3
--- /dev/null
+++ b/tests/pending/fuzzy/CCE-aafcaa9cd2611d22f63273738d637f5bec6e7152.scala
@@ -0,0 +1,3 @@
+class i0{
+var i0==_*
+}
diff --git a/tests/pending/fuzzy/CCE-c0c12d6037a2e677360dcddf572e8051fc8011cc.scala b/tests/pending/fuzzy/CCE-c0c12d6037a2e677360dcddf572e8051fc8011cc.scala
new file mode 100755
index 000000000000..1c9deb546102
--- /dev/null
+++ b/tests/pending/fuzzy/CCE-c0c12d6037a2e677360dcddf572e8051fc8011cc.scala
@@ -0,0 +1,3 @@
+trait i0[i0[]]{
+(i1:i0[_]):i0[
+}
diff --git a/tests/pending/fuzzy/E-3fc2e705bc868c39e087d323b68c91b2a4ec86d5.scala b/tests/pending/fuzzy/E-3fc2e705bc868c39e087d323b68c91b2a4ec86d5.scala
new file mode 100755
index 000000000000..bb77663472e4
--- /dev/null
+++ b/tests/pending/fuzzy/E-3fc2e705bc868c39e087d323b68c91b2a4ec86d5.scala
@@ -0,0 +1,3 @@
+class i0{
+def i1=(i2,i3=>i2)=>()
+}
diff --git a/tests/pending/fuzzy/E-61466476fb2b670ec310e86fc2692b75ce455b09.scala b/tests/pending/fuzzy/E-61466476fb2b670ec310e86fc2692b75ce455b09.scala
new file mode 100755
index 000000000000..5bfe7af1b121
--- /dev/null
+++ b/tests/pending/fuzzy/E-61466476fb2b670ec310e86fc2692b75ce455b09.scala
@@ -0,0 +1 @@
+case class i1[i1](i1:i1=>Either[i1,Nothing]){def i1(}
diff --git a/tests/pending/fuzzy/E-6cfc2bdeca4ea50004eafb57de18c7e149e70182.scala b/tests/pending/fuzzy/E-6cfc2bdeca4ea50004eafb57de18c7e149e70182.scala
new file mode 100755
index 000000000000..6db6129565b1
--- /dev/null
+++ b/tests/pending/fuzzy/E-6cfc2bdeca4ea50004eafb57de18c7e149e70182.scala
@@ -0,0 +1,6 @@
+class I1(i2: Int) {
+  class I1[I3] {
+    def apply(i4: Int) = 1
+    new I1[Int]()(2) {}
+  }
+}
diff --git a/tests/pending/fuzzy/E-6e9a2419fb6b538dc57a2b4304e6cb5da25a3ac6.scala b/tests/pending/fuzzy/E-6e9a2419fb6b538dc57a2b4304e6cb5da25a3ac6.scala
new file mode 100755
index 000000000000..6c284bac5ff6
--- /dev/null
+++ b/tests/pending/fuzzy/E-6e9a2419fb6b538dc57a2b4304e6cb5da25a3ac6.scala
@@ -0,0 +1,2 @@
+object i0{def i0()(>)=()
+import i0.i1}
diff --git a/tests/pending/fuzzy/ME-029f5b7b9c6fbc21fdd7803fc036d3997e15d5e9.scala b/tests/pending/fuzzy/ME-029f5b7b9c6fbc21fdd7803fc036d3997e15d5e9.scala
new file mode 100755
index 000000000000..71f620b711c8
--- /dev/null
+++ b/tests/pending/fuzzy/ME-029f5b7b9c6fbc21fdd7803fc036d3997e15d5e9.scala
@@ -0,0 +1 @@
+object i0 { implicitly[i0#i1 { type i1 <: Any }] }
diff --git a/tests/pending/fuzzy/ME-239cf7bcb054b9a217779627c6992c35d3625dbb.scala b/tests/pending/fuzzy/ME-239cf7bcb054b9a217779627c6992c35d3625dbb.scala
new file mode 100755
index 000000000000..cba9307de1a5
--- /dev/null
+++ b/tests/pending/fuzzy/ME-239cf7bcb054b9a217779627c6992c35d3625dbb.scala
@@ -0,0 +1,4 @@
+object I0{
+type I0[I0]<:I0
+def map[I2<:I0[I2
+}
diff --git a/tests/pending/fuzzy/ME-4135d2670153310c45bba71a4560736348129332.scala b/tests/pending/fuzzy/ME-4135d2670153310c45bba71a4560736348129332.scala
new file mode 100755
index 000000000000..88c5ab3a1f83
--- /dev/null
+++ b/tests/pending/fuzzy/ME-4135d2670153310c45bba71a4560736348129332.scala
@@ -0,0 +1,3 @@
+class I0[I1] { i2: Array[I1] =>
+  i2(0)
+}
diff --git a/tests/pending/fuzzy/ME-9962a2476fa4f8fbc5eec3eb3b67cb4dd206a68b.scala b/tests/pending/fuzzy/ME-9962a2476fa4f8fbc5eec3eb3b67cb4dd206a68b.scala
new file mode 100755
index 000000000000..c3172bdfe3d5
--- /dev/null
+++ b/tests/pending/fuzzy/ME-9962a2476fa4f8fbc5eec3eb3b67cb4dd206a68b.scala
@@ -0,0 +1 @@
+class I0[I1]{def I2[I2[Any]:I2](I2:I1[I1]=}
diff --git a/tests/pending/fuzzy/ME-ccf4e5b52f25c385e914f38d85fcede4e058d736.scala b/tests/pending/fuzzy/ME-ccf4e5b52f25c385e914f38d85fcede4e058d736.scala
new file mode 100755
index 000000000000..9cbb6a085d5c
--- /dev/null
+++ b/tests/pending/fuzzy/ME-ccf4e5b52f25c385e914f38d85fcede4e058d736.scala
@@ -0,0 +1,3 @@
+object i1{import i1.i1
+def i1={import _
+import}}
diff --git a/tests/pending/fuzzy/ME-d6d0a0ffe0961b6d605d2fef3288efb81e914fbf.scala b/tests/pending/fuzzy/ME-d6d0a0ffe0961b6d605d2fef3288efb81e914fbf.scala
new file mode 100755
index 000000000000..c15cdcd754be
--- /dev/null
+++ b/tests/pending/fuzzy/ME-d6d0a0ffe0961b6d605d2fef3288efb81e914fbf.scala
@@ -0,0 +1 @@
+object i0{var this:String}
diff --git a/tests/pending/fuzzy/NPE-46924c0b8ed638371f3adb2900fce7cd20f87b72.scala b/tests/pending/fuzzy/NPE-46924c0b8ed638371f3adb2900fce7cd20f87b72.scala
new file mode 100755
index 000000000000..094ef1c77ccc
--- /dev/null
+++ b/tests/pending/fuzzy/NPE-46924c0b8ed638371f3adb2900fce7cd20f87b72.scala
@@ -0,0 +1,3 @@
+class I0[I0]
+trait i1[+i1 <: I0]
+class i2[i2] extends i1 with i1[List, i1][ with asInstanceOf[i1]] trait i2[i1] extends i1[i1]
diff --git a/tests/pending/fuzzy/NPE-8e2b86afd1ba6c27ee913ebf3aa9f1856f4accab.scala b/tests/pending/fuzzy/NPE-8e2b86afd1ba6c27ee913ebf3aa9f1856f4accab.scala
new file mode 100755
index 000000000000..8a90959bcbeb
--- /dev/null
+++ b/tests/pending/fuzzy/NPE-8e2b86afd1ba6c27ee913ebf3aa9f1856f4accab.scala
@@ -0,0 +1 @@
+class I0[I1[I2], I3 <: I1[Int]](val i4: I3) extends AnyVal
diff --git a/tests/pending/fuzzy/NSEE-40b3c6d9467b2b62a334a0115d7900e78c52d2b6.scala b/tests/pending/fuzzy/NSEE-40b3c6d9467b2b62a334a0115d7900e78c52d2b6.scala
new file mode 100755
index 000000000000..4f9f67ab8f74
--- /dev/null
+++ b/tests/pending/fuzzy/NSEE-40b3c6d9467b2b62a334a0115d7900e78c52d2b6.scala
@@ -0,0 +1,2 @@
+trait i0[I1]{def i2[I3[_]](i4:I3[])
+i2[(Int,String)]}
diff --git a/tests/pending/fuzzy/NSEE-a19aa840c8dc37a735c2d396cc4c898a37f68ec8.scala b/tests/pending/fuzzy/NSEE-a19aa840c8dc37a735c2d396cc4c898a37f68ec8.scala
new file mode 100755
index 000000000000..9e45034ccaad
--- /dev/null
+++ b/tests/pending/fuzzy/NSEE-a19aa840c8dc37a735c2d396cc4c898a37f68ec8.scala
@@ -0,0 +1,11 @@
+trait I0
+{
+type I0[I0,]
+def I0:I0[I0,]
+}
+class I0
+extends I0
+{
+var I0=I0
+class I0[I1]()
+}
diff --git a/tests/pending/fuzzy/NSEE-d80fd1aafed9bbbd31b90a5ad3189cf20ce4aef8.scala b/tests/pending/fuzzy/NSEE-d80fd1aafed9bbbd31b90a5ad3189cf20ce4aef8.scala
new file mode 100755
index 000000000000..ba1f8cd7b88d
--- /dev/null
+++ b/tests/pending/fuzzy/NSEE-d80fd1aafed9bbbd31b90a5ad3189cf20ce4aef8.scala
@@ -0,0 +1,11 @@
+trait I0 {
+  type I1[_, _]
+  type I2[_]
+  type I3[_]
+  trait I4 { type I5 = I1[I2[Int], I3[Int]] }
+  val I6: I4
+  val I7 = new I0 {
+    type I1[i8] = Int
+    val I6 = new { def i9[I1[_]](i10: I1[Int]): I1[I5] = i10 }
+  }
+}
diff --git a/tests/pending/fuzzy/RE-96bd93de803119f21ab5d429b0ce0793869d86c5.scala b/tests/pending/fuzzy/RE-96bd93de803119f21ab5d429b0ce0793869d86c5.scala
new file mode 100755
index 000000000000..5bbabfa30f4b
--- /dev/null
+++ b/tests/pending/fuzzy/RE-96bd93de803119f21ab5d429b0ce0793869d86c5.scala
@@ -0,0 +1 @@
+object i0 { asInstanceOf[Int] toInt }
diff --git a/tests/pending/fuzzy/RE-d341ba7adb385e80fb9955ca9161dd8f86ad3584.scala b/tests/pending/fuzzy/RE-d341ba7adb385e80fb9955ca9161dd8f86ad3584.scala
new file mode 100755
index 000000000000..364d566c2399
--- /dev/null
+++ b/tests/pending/fuzzy/RE-d341ba7adb385e80fb9955ca9161dd8f86ad3584.scala
@@ -0,0 +1 @@
+object i0 { val i1 = asInstanceOf[Int] }
diff --git a/tests/pending/fuzzy/SOE-1b4c828f532c6ebf8594c5f4c8eb625805fd98a7.scala b/tests/pending/fuzzy/SOE-1b4c828f532c6ebf8594c5f4c8eb625805fd98a7.scala
new file mode 100755
index 000000000000..f15d2e678816
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-1b4c828f532c6ebf8594c5f4c8eb625805fd98a7.scala
@@ -0,0 +1 @@
+class i0 { def i1: (String) with Option[Int] => () => Boolean = Array() }
diff --git a/tests/pending/fuzzy/SOE-811a4d46f3c566ee455f4f1864001843d4606e21.scala b/tests/pending/fuzzy/SOE-811a4d46f3c566ee455f4f1864001843d4606e21.scala
new file mode 100755
index 000000000000..f04a8e6700fe
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-811a4d46f3c566ee455f4f1864001843d4606e21.scala
@@ -0,0 +1 @@
+trait i0[+i1<:i0[i1]]{val i2=:I3:i0[i1]}
diff --git a/tests/pending/fuzzy/SOE-9b36f1e16d7d70fba2a0ccbccd7834342fb61719.scala b/tests/pending/fuzzy/SOE-9b36f1e16d7d70fba2a0ccbccd7834342fb61719.scala
new file mode 100755
index 000000000000..9db2ba6f8c3b
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-9b36f1e16d7d70fba2a0ccbccd7834342fb61719.scala
@@ -0,0 +1 @@
+class I0(I0: (Double) with I0) extends AnyVal
diff --git a/tests/pending/fuzzy/SOE-9cb9025fd025d2e548933c770ce32877f4e21b50.scala b/tests/pending/fuzzy/SOE-9cb9025fd025d2e548933c770ce32877f4e21b50.scala
new file mode 100755
index 000000000000..4ce58d18b070
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-9cb9025fd025d2e548933c770ce32877f4e21b50.scala
@@ -0,0 +1 @@
+class I0[I1](i2: I1 => I0[I1]) extends AnyVal
diff --git a/tests/pending/fuzzy/SOE-bb0e91970b9373329dfd57a639c7d9211ebf3139.scala b/tests/pending/fuzzy/SOE-bb0e91970b9373329dfd57a639c7d9211ebf3139.scala
new file mode 100755
index 000000000000..a8be8b6f079d
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-bb0e91970b9373329dfd57a639c7d9211ebf3139.scala
@@ -0,0 +1,6 @@
+class i1[i1](override val i1: i1[i1]) {
+  def i1: i1[i1] = i1(null)
+}
+object i1 {
+  implicit def i2[i2](i2: i2[i1]): i1[i2] = ???
+}
diff --git a/tests/pending/fuzzy/SOE-c579ddf7aca5d1243b307e55cd8fd81cfa4a80dc.scala b/tests/pending/fuzzy/SOE-c579ddf7aca5d1243b307e55cd8fd81cfa4a80dc.scala
new file mode 100755
index 000000000000..586368262277
--- /dev/null
+++ b/tests/pending/fuzzy/SOE-c579ddf7aca5d1243b307e55cd8fd81cfa4a80dc.scala
@@ -0,0 +1 @@
+trait I0 { def I1[I1 <: Array[I1]]: I1 }
diff --git a/tests/pending/fuzzy/TUATE-3726d5a31a39f8226142c03a1037a37dd02b1809.scala b/tests/pending/fuzzy/TUATE-3726d5a31a39f8226142c03a1037a37dd02b1809.scala
new file mode 100755
index 000000000000..1a66b9a36852
--- /dev/null
+++ b/tests/pending/fuzzy/TUATE-3726d5a31a39f8226142c03a1037a37dd02b1809.scala
@@ -0,0 +1 @@
+object i0 { val I1 = Console.println(I1) += I1 }
diff --git a/tests/pending/fuzzy/TUATE-ebbaa65192e83964f67609134c9c278c47ed197e.scala b/tests/pending/fuzzy/TUATE-ebbaa65192e83964f67609134c9c278c47ed197e.scala
new file mode 100755
index 000000000000..69ca487a1ca8
--- /dev/null
+++ b/tests/pending/fuzzy/TUATE-ebbaa65192e83964f67609134c9c278c47ed197e.scala
@@ -0,0 +1,2 @@
+class i0{trait i0[]
+i0[i0{type}{}]}
diff --git a/tests/pending/fuzzy/UOE-abff262a5e36afa8450fd485c28178c43f0e765a.scala b/tests/pending/fuzzy/UOE-abff262a5e36afa8450fd485c28178c43f0e765a.scala
new file mode 100755
index 000000000000..0b52398ebc4c
--- /dev/null
+++ b/tests/pending/fuzzy/UOE-abff262a5e36afa8450fd485c28178c43f0e765a.scala
@@ -0,0 +1 @@
+object i { @ i ( ) ( _ ( ) ) type I [ @ this . type _ ] =}