Merge pull request #4882 from dotty-staging/fix-tasty-relect-TermParamRef

nicolasstucki · web-flow · commit a63eef167b94 · 2018-07-31T17:45:23.000+02:00
Fix tasty reflect ParamRef extractor on TermParamRef
diff --git a/compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala b/compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala
@@ -903,6 +903,7 @@ class TastyImpl(val rootContext: Contexts.Context) extends scala.tasty.Tasty { s
           Some((
             binder.asInstanceOf[LambdaType[TypeOrBounds]], // Cast to tpd
             idx))
+        case Types.TermParamRef(binder, idx) => Some((binder, idx))
         case _ => None
       }
     }
diff --git a/compiler/test/dotc/pos-decompilation.blacklist b/compiler/test/dotc/pos-decompilation.blacklist
@@ -7,9 +7,6 @@ i1181.scala
 large.scala
 large2.scala
 
-# scala.MatchError: TermParamRef(x)
-depfuntype.scala
-
 # NPE
 i2888.scala
 tcpoly_overloaded.scala

Original file line number	Diff line number	Diff line change
`@@ -903,6 +903,7 @@ class TastyImpl(val rootContext: Contexts.Context) extends scala.tasty.Tasty { s`
`903`	`903`	`Some((`
`904`	`904`	`binder.asInstanceOf[LambdaType[TypeOrBounds]], // Cast to tpd`
`905`	`905`	`idx))`
	`906`	`+ case Types.TermParamRef(binder, idx) => Some((binder, idx))`
`906`	`907`	`case _ => None`
`907`	`908`	`}`
`908`	`909`	`}`