Fix bugs detected by fuzzing

odersky · odersky · commit 12cf716b5088 · 2018-04-28T11:04:48.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Uniques.scala b/compiler/src/dotty/tools/dotc/core/Uniques.scala
@@ -62,7 +62,7 @@ object Uniques {
       if (h == NotCached) newType
       else {
         val r = findPrevious(h, prefix, designator)
-        if (r ne null) r else addEntryAfterScan(newType)
+        if ((r ne null) && (r.isTerm == isTerm)) r else addEntryAfterScan(newType)
       }
     }
   }
diff --git a/tests/neg/parser-stability-1.scala b/tests/neg/parser-stability-1.scala
@@ -0,0 +1,4 @@
+object x0 {
+x1 match
+def this
+
diff --git a/tests/neg/parser-stability.scala b/tests/neg/parser-stability.scala
@@ -0,0 +1,2 @@
+class I2[I2] {
+          def I2: I2 = (I2 => I2) => I2

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ object Uniques {`
`62`	`62`	`if (h == NotCached) newType`
`63`	`63`	`else {`
`64`	`64`	`val r = findPrevious(h, prefix, designator)`
`65`		`- if (r ne null) r else addEntryAfterScan(newType)`
	`65`	`+ if ((r ne null) && (r.isTerm == isTerm)) r else addEntryAfterScan(newType)`
`66`	`66`	`}`
`67`	`67`	`}`
`68`	`68`	`}`